update

[l4.git] / kernel / fiasco / src / templates / globalconfig.out.arm-rv-3

diff --git a/kernel/fiasco/src/templates/globalconfig.out.arm-rv-3 b/kernel/fiasco/src/templates/globalconfig.out.arm-rv-3
index 4986468a2a12b2d0fbe1c6c9de749c385ada518d..16849619dcdf4ef14357e40be8c19e8e44ab6833 100644 (file)
--- a/kernel/fiasco/src/templates/globalconfig.out.arm-rv-3
+++ b/kernel/fiasco/src/templates/globalconfig.out.arm-rv-3
@@ -1,6 +1,5 @@
 #
-# Automatically generated make config: don't edit
-#
+# Automatically generated file; DO NOT EDIT.
 
 #
 # Target configuration
@@ -43,6 +42,7 @@ CONFIG_ARM_CACHE_L2CXX0=y
 #
 # Kernel options
 #
+# CONFIG_MP is not set
 CONFIG_CONTEXT_4K=y
 # CONFIG_FINE_GRAINED_CPUTIME is not set
 CONFIG_SCHED_FIXED_PRIO=y
@@ -73,7 +73,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