diff -r 5d872df743fe -r 79de82f5843d config/binutils.in --- a/config/binutils.in Wed Apr 07 09:20:05 2010 +0200 +++ b/config/binutils.in Wed May 19 18:22:32 2010 +0200 @@ -6,7 +6,7 @@ bool prompt "Binary format:" -if ARCH_USE_MMU +if ARCH_USE_MMU || BARE_METAL config ARCH_BINFMT_ELF bool