diff -r 646bafb5b7f2 -r 88020b2c3246 config/libc.in
--- a/config/libc.in	Wed Oct 21 19:08:31 2009 +0200
+++ b/config/libc.in	Tue Jan 12 19:24:03 2010 +0100
@@ -4,8 +4,6 @@
 
 config LIBC
     string
-    default "newlib" if BARE_METAL && ARCH_avr32 && EXPERIMENTAL
-    default "none" if BARE_METAL
 
 config LIBC_VERSION
     string
@@ -23,8 +21,6 @@
 
 source config.gen/libc.in
 
-comment "Common C library options"
-
 config LIBC_SUPPORT_NPTL
     bool
     default n
@@ -37,7 +33,12 @@
     string
     default "nptl"          if THREADS_NPTL
     default "linuxthreads"  if THREADS_LINUXTHREADS
-    default "none"          if THREADS_NONE
+    default "none"          if THREADS_NONE || LIBC_none
+#                              No C library, no threads!
+
+if ! LIBC_none
+
+comment "Common C library options"
 
 choice
     bool
@@ -62,4 +63,6 @@
 
 endchoice
 
+endif # ! LIBC_none
+
 endmenu