update

[l4.git] / l4 / tool / kconfig / README

diff --git a/l4/tool/kconfig/README b/l4/tool/kconfig/README
index 3d87ce199d0032571691fc5e715282f2d832f85b..f521d80647c336e4c7d22f5d1fee89ce8bcc53f7 100644 (file)
--- a/l4/tool/kconfig/README
+++ b/l4/tool/kconfig/README
@@ -1,3 +1,3 @@
 
-kconfig taken from vanilla Linux 3.7, and slightly patched.
+kconfig taken from vanilla Linux 3.12.1, and slightly patched.