Il 22/09/2014 21:43, Borislav Petkov ha scritto: >> > On x86_64, kernel text mappings are mapped read-only with CONFIG_DEBUG_RODATA. > Hmm, that depends on DEBUG_KERNEL. > > I think you're actually talking about distro kernels which enable > CONFIG_DEBUG_RODATA, right? This is for guest kernels, so it's not necessarily distro kernels. Anyone who compiles their kernel with CONFIG_DEBUG_RODATA + PV spinlocks would not be able to run it on AMD. Paolo -- To unsubscribe from this list: send the line "unsubscribe kvm" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html