PARAVIRT_SPINLOCKS x86=n
#- file arch/x86/xen/Kconfig goes here
KVM_GUEST x86=y
+PVH x86=y
PARAVIRT_TIME_ACCOUNTING x86=y
#- file arch/x86/Kconfig.cpu goes here
HPET_TIMER x86=y
MTRR_SANITIZER_ENABLE_DEFAULT x86=0
MTRR_SANITIZER_SPARE_REG_NR_DEFAULT x86=1
X86_PAT x86=y
-X86_INTEL_MPX x86=y
X86_INTEL_MEMORY_PROTECTION_KEYS all=y
X86_INTEL_TSX_MODE_OFF x86=y
X86_INTEL_TSX_MODE_ON x86=n
#-
#- *** FILE: arch/x86/Kconfig.cpu ***
#-
-M486 i386=n i486=y
M486SX x86=n
+M486 i386=n i486=y
M586 i386=n i586=y
M586TSC i386=n
M586MMX i386=n
VMD all=m
WW_MUTEX_SELFTEST all=m
X86_DECODER_SELFTEST x86=n
+X86_INTEL_MPX x86=y
#* do we care ?
X86_PPRO_FENCE i386=y pentium3= pentium4= athlon=
X86_PTDUMP x86=n