# 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