diff -r 6236ce3be104 -r ef8549b58b6f config/libc.in
--- a/config/libc.in	Wed Aug 27 16:24:24 2008 +0000
+++ b/config/libc.in	Sun Sep 14 16:21:07 2008 +0000
@@ -1,5 +1,14 @@
 # C library options
 
+config LIBC
+    string
+    default "none"   if BARE_METAL
+    default "glibc"  if LIBC_GLIBC
+    default "eglibc" if LIBC_EGLIBC
+    default "uClibc" if LIBC_UCLIBC
+
+if ! BARE_METAL
+
 menu "C-library"
 
 choice
@@ -49,12 +58,6 @@
 config LIBC_VERSION
     string
 
-config LIBC
-    string
-    default "glibc" if LIBC_GLIBC
-    default "eglibc" if LIBC_EGLIBC
-    default "uClibc" if LIBC_UCLIBC
-
 config LIBC_SUPPORT_NPTL
     bool
     default n
@@ -106,3 +109,5 @@
       have to save your C library tarball by yourself.
 
 endmenu
+
+endif # ! BARE_METAL