update

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

diff --git a/kernel/fiasco/src/templates/globalconfig.out.ia32-big b/kernel/fiasco/src/templates/globalconfig.out.ia32-big
index c5dc093b3c002e062a6d90d0400b742ee74b4f33..a2d41d63c75840b3e0ef6943185b47d1ae48fcf6 100644 (file)
--- a/kernel/fiasco/src/templates/globalconfig.out.ia32-big
+++ b/kernel/fiasco/src/templates/globalconfig.out.ia32-big
@@ -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=y
 # CONFIG_ONE_SHOT is not set
 CONFIG_SYNC_TSC=y
 # CONFIG_FINE_GRAINED_CPUTIME is not set