From: Christoph Hellwig We don't allow non-ELF kernels since 2.0 days, and surprisingly this is not actually checked anywhere. Signed-off-by: Andrew Morton --- 25-akpm/arch/ppc/Kconfig | 4 ---- 1 files changed, 4 deletions(-) diff -puN arch/ppc/Kconfig~remove-dead-config_kernel_elf-kconfig-entry arch/ppc/Kconfig --- 25/arch/ppc/Kconfig~remove-dead-config_kernel_elf-kconfig-entry 2004-08-15 15:49:05.088811704 -0700 +++ 25-akpm/arch/ppc/Kconfig 2004-08-15 15:49:05.092811096 -0700 @@ -813,10 +813,6 @@ config PREEMPT config HIGHMEM bool "High memory support" -config KERNEL_ELF - bool - default y - source "fs/Kconfig.binfmt" config PROC_DEVICETREE _