update

[l4.git] / kernel / fiasco / src / templates / globalconfig.out.ux-2

diff --git a/kernel/fiasco/src/templates/globalconfig.out.ux-2 b/kernel/fiasco/src/templates/globalconfig.out.ux-2
index 90337bdf1caba675092739292c54ec47eaae0011..541989f4c77592a57dface1bab958e0fb613e608 100644 (file)
--- a/kernel/fiasco/src/templates/globalconfig.out.ux-2
+++ b/kernel/fiasco/src/templates/globalconfig.out.ux-2
@@ -1,6 +1,5 @@
 #
-# Automatically generated make config: don't edit
-#
+# Automatically generated file; DO NOT EDIT.
 
 #
 # Target configuration
@@ -45,7 +44,6 @@ CONFIG_INLINE=y
 # CONFIG_NDEBUG is not set
 CONFIG_NO_FRAME_PTR=y
 # CONFIG_STACK_DEPTH is not set
-# CONFIG_ALLOW_RO_TEXT is not set
 # CONFIG_LIST_ALLOC_SANITY is not set
 CONFIG_JDB=y
 # CONFIG_JDB_LOGGING is not set
@@ -64,7 +62,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=y