]> rtime.felk.cvut.cz Git - l4.git/blobdiff - l4/mk/defconfig/config.amd64
update
[l4.git] / l4 / mk / defconfig / config.amd64
index 64ffc8f469ad770c1381cf53d1afd09ad1c3b922..295d15659f43f0c34ddf5e2bfdfe4400273604e7 100644 (file)
@@ -1,6 +1,6 @@
 #
 # Automatically generated make config: don't edit
-# L4Re version: SVN
+# L4Re Configuration
 #
 # CONFIG_BUILD_ARCH_x86 is not set
 CONFIG_BUILD_ARCH_amd64=y