diff -r b51724d5250d -r 11460fc587e6 config/libc/newlib.in
--- a/config/libc/newlib.in	Mon Oct 26 18:47:11 2009 +0100
+++ b/config/libc/newlib.in	Wed Oct 21 22:51:39 2009 +0200
@@ -1,14 +1,14 @@
 # newlib options
-# depends on EXPERIMENTAL
+# depends on EXPERIMENTAL && BARE_METAL
 
 config LIBC_newlib
     help
-    Newlib is a C library intended for use on embedded systems. It is a 
-    conglomeration of several library parts, all under free software 
-    licenses that make them easily usable on embedded products. Newlib 
-    is only available in source form. It can be compiled for a wide 
-    array of processors, and will usually work on any architecture with
-    the addition of a few low-level routines. 
+      Newlib is a C library intended for use on embedded systems. It is a
+      conglomeration of several library parts, all under free software
+      licenses that make them easily usable on embedded products. Newlib
+      is only available in source form. It can be compiled for a wide
+      array of processors, and will usually work on any architecture with
+      the addition of a few low-level routines.
 
 choice
     bool
@@ -31,10 +31,10 @@
 config ATMEL_AVR32_HEADERS
     bool
     prompt "Install Atmel AVR32 headers"
+    depends on ARCH_avr32
     default y
     help
       Install Atmel AVR32 headers for native AVR32 development. Most
       AVR32 MCU devices are supported.
       
       If you do native AVR32 development you want to say 'Y' here.
-