update

[l4.git] / kernel / fiasco / src / templates / globalconfig.out.ia32-3-noinl

diff --git a/kernel/fiasco/src/templates/globalconfig.out.ia32-3-noinl b/kernel/fiasco/src/templates/globalconfig.out.ia32-3-noinl
index b7c883bbfdea74d7ad7f474f2e04c16916d172d5..d3929853fe35f457acbe97cb94cac8ebeed7ae59 100644 (file)
--- a/kernel/fiasco/src/templates/globalconfig.out.ia32-3-noinl
+++ b/kernel/fiasco/src/templates/globalconfig.out.ia32-3-noinl
@@ -1,6 +1,5 @@
 #
-# Automatically generated make config: don't edit
-#
+# Automatically generated file; DO NOT EDIT.
 
 #
 # Target configuration
@@ -8,28 +7,9 @@
 CONFIG_IA32=y
 # CONFIG_AMD64 is not set
 # CONFIG_ARM is not set
-# CONFIG_PPC32 is not set
 CONFIG_PF_PC=y
 # CONFIG_PF_UX is not set
-# CONFIG_PF_IMX is not set
-# CONFIG_PF_REALVIEW is not set
-# CONFIG_PF_S3C2410 is not set
-# CONFIG_PF_TEGRA2 is not set
-# CONFIG_PF_OMAP3 is not set
-# CONFIG_PF_MPC52XX is not set
-# CONFIG_PF_XSCALE is not set
-# CONFIG_PF_SA1100 is not set
-# CONFIG_PF_INTEGRATOR is not set
-# CONFIG_PF_QEMU is not set
 CONFIG_ABI_VF=y
-# CONFIG_ARM_PXA is not set
-# CONFIG_ARM_SA is not set
-# CONFIG_ARM_920T is not set
-# CONFIG_ARM_926 is not set
-# CONFIG_ARM_1176 is not set
-# CONFIG_ARM_MPCORE is not set
-# CONFIG_ARM_CORTEX_A8 is not set
-# CONFIG_ARM_CORTEX_A9 is not set
 # CONFIG_IA32_486 is not set
 CONFIG_IA32_586=y
 # CONFIG_IA32_686 is not set
@@ -43,30 +23,22 @@ CONFIG_IA32_586=y
 # CONFIG_IA32_K7 is not set
 # CONFIG_IA32_K8 is not set
 # CONFIG_IA32_K10 is not set
-# CONFIG_AMD64_K8 is not set
-# CONFIG_AMD64_CORE2 is not set
-# CONFIG_AMD64_ATOM is not set
-# CONFIG_AMD64_K10 is not set
-# CONFIG_PPC32_603e is not set
 # CONFIG_CPU_VIRT is not set
-CONFIG_SCHED_PIT=y
+# CONFIG_SCHED_PIT is not set
 # CONFIG_SCHED_RTC is not set
-# CONFIG_SCHED_APIC is not set
-# CONFIG_SCHED_HPET is not set
+CONFIG_SCHED_APIC=y
 # CONFIG_WORKAROUND_AMD_FPU_LEAK is not set
 CONFIG_REGPARM3=y
 
 #
 # Kernel options
 #
-# CONFIG_HANDLE_SEGMENTS is not set
+# CONFIG_MP is not set
 CONFIG_CONTEXT_4K=y
-# CONFIG_IO_PROT is not set
 # CONFIG_SYNC_TSC is not set
 # CONFIG_FINE_GRAINED_CPUTIME is not set
 CONFIG_SCHED_FIXED_PRIO=y
-# CONFIG_SCHED_WFQ is not set
-# CONFIG_SCHED_FP_WFQ is not set
+CONFIG_VIRT_OBJ_SPACE=y
 
 #
 # Debugging
@@ -75,7 +47,6 @@ CONFIG_SCHED_FIXED_PRIO=y
 # CONFIG_NDEBUG is not set
 # CONFIG_NO_FRAME_PTR is not set
 # CONFIG_STACK_DEPTH is not set
-# CONFIG_ALLOW_RO_TEXT is not set
 # CONFIG_LIST_ALLOC_SANITY is not set
 # CONFIG_BEFORE_IRET_SANITY is not set
 # CONFIG_IRQ_SPINNER is not set
@@ -99,7 +70,6 @@ CONFIG_CC="gcc"
 CONFIG_CXX="g++"
 CONFIG_HOST_CC="gcc"
 CONFIG_HOST_CXX="g++"
-# CONFIG_VERBOSE is not set
 # CONFIG_MAINTAINER_MODE is not set
 CONFIG_LABEL=""
 # CONFIG_EXPERIMENTAL is not set