diff -r 6227df6bbb79 -r 6d21330d6db0 config/kernel/bare-metal.in
--- a/config/kernel/bare-metal.in	Mon Sep 29 20:19:45 2008 +0000
+++ b/config/kernel/bare-metal.in	Tue Feb 22 23:47:15 2011 +0100
@@ -1,5 +1,4 @@
 # Bare metal config options
-# EXPERIMENTAL
 
 config KERNEL_bare_metal
     select BARE_METAL