X-Git-Url: https://rtime.felk.cvut.cz/gitweb/l4.git/blobdiff_plain/35719fdd2ff27177690edb32843d32e092a006e3..5658d2ec9c1081516a8868259fa867926e25ab3f:/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 0646d1b29..e3fe5221b 100644
--- 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