On 28/06/2018 01:03, Alexandro Sanchez Bach wrote: >> Do you mean that the kernel was compiled to not look at CPUID? That is a > bit weird. > > Yes, this kernel is shipped in PlayStation 4 consoles and includes drivers > for the console's hardware. Some of these drivers read AMD-specific MSR's > without checking CPUID. In particular, they seem to use MSR_K8_TOP_MEM* to > compute the total RAM available. I see. If you have a patch for that, I am willing to at least look at it. :) It does make sense. > My project is forking QEMU to add support for these kernels, but for > performance (TCG is slow) and compatibility (TCG lacks AVX support) reasons, > we rely on KVM and HAXM. IIRC Richard Henderson had patches for AVX support. I can look at integrating them after the next release is out. This will help anyway. Paolo
