diff -r 000000000000 -r 30d91bfc1f2a config/libc/none.in
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/config/libc/none.in	Fri Jan 29 22:43:28 2010 +0100
@@ -0,0 +1,14 @@
+# Dummy config file to not use a C library *at all*
+# depends on BARE_METAL
+
+config LIBC_none
+    help
+      Do not use a C library.
+      
+      This is usefull if your project is self-contained, does not rely on
+      an external C library, and provides all the necessary bits.
+      
+      Most probably usefull to bootloaders, as they generally don't depend
+      on the C library.
+      
+      If unsure: do *not* choose that, and use another option in the choice.