diff -r 000000000000 -r 11460fc587e6 config/libc/none.in
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/config/libc/none.in	Wed Oct 21 22:51:39 2009 +0200
@@ -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.