diff -r 000000000000 -r 7f742f73c2d1 config/kernel/uclinux.in
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/config/kernel/uclinux.in	Wed May 13 20:55:15 2009 +0000
@@ -0,0 +1,21 @@
+# uClinux kernel options
+# depends on EXPERIMENTAL
+
+config KERNEL_uclinux
+    help
+      Build a toolchain targeting systems running uClinux as a kernel.
+
+choice
+    bool
+    depends on KERNEL_uclinux
+    prompt "noMMU binary format"
+
+config KERNEL_UCLINUX_BINFMT_FLAT
+    bool
+    prompt "binfmt_flat"
+    help
+      This will build the elf2flt and flthdr utilities for your architecture
+      into the toolchain
+
+endchoice
+