# CONFIG_IA32 is not set
CONFIG_AMD64=y
# CONFIG_ARM is not set
+# CONFIG_PPC32 is not set
+# CONFIG_SPARC is not set
CONFIG_PF_PC=y
CONFIG_ABI_VF=y
CONFIG_AMD64_K8=y
#
# CONFIG_MP is not set
CONFIG_CONTEXT_4K=y
-CONFIG_IO_PROT=y
# CONFIG_FINE_GRAINED_CPUTIME is not set
CONFIG_SCHED_FIXED_PRIO=y
# CONFIG_SCHED_WFQ is not set