config/kernel/bare-metal.in
changeset 1030 e5bf882d6514
parent 890 6227df6bbb79
child 2444 896cb0d36c1a
     1.1 --- a/config/kernel/bare-metal.in	Mon Sep 29 20:19:45 2008 +0000
     1.2 +++ b/config/kernel/bare-metal.in	Sat Nov 01 18:30:19 2008 +0000
     1.3 @@ -1,5 +1,4 @@
     1.4  # Bare metal config options
     1.5 -# EXPERIMENTAL
     1.6  
     1.7  config KERNEL_bare_metal
     1.8      select BARE_METAL