update

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

diff --git a/kernel/fiasco/src/templates/globalconfig.out.ia32-ndebug b/kernel/fiasco/src/templates/globalconfig.out.ia32-ndebug
index 0646d1b2988b0b499989f9ba38d97be584d464f7..e3fe5221b3e72b9ac9f1347d00379a55af7f0b3d 100644 (file)
--- a/kernel/fiasco/src/templates/globalconfig.out.ia32-ndebug
+++ b/kernel/fiasco/src/templates/globalconfig.out.ia32-ndebug
@@ -7,6 +7,8 @@
 CONFIG_IA32=y
 # CONFIG_AMD64 is not set
 # CONFIG_ARM is not set
+# CONFIG_PPC32 is not set
+# CONFIG_SPARC is not set
 CONFIG_PF_PC=y
 # CONFIG_PF_UX is not set
 CONFIG_ABI_VF=y
@@ -36,7 +38,6 @@ CONFIG_REGPARM3=y
 #
 # 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