linux编译和运行量级问题

[changekkk]

你好，想问一下Linux.bin有对应的.elf文件吗？另外，我们本地使用环境里的Linux bin和内核配置文件，在本地运行spike指令统计出来有6000多w，但是在香山的difftest环境运行指令数只有400多w，请问下这里导致差异的原因有哪些？