1mainmenu "OpenBIOS Configuration" 2 3config X86 4 bool 5 default y 6 help 7 Building for X86 hardware. 8 9config LITTLE_ENDIAN 10 bool 11 default y 12 help 13 X86 is little endian 14 15menu "Kernel binaries (x86)" 16 17config IMAGE_ELF 18 bool "ELF image (for LinuxBIOS)" 19 default y 20 help 21 Build a simple elf image that can be used with LinuxBIOS 22 This image will be called openbios.elf 23 24config IMAGE_ELF_EMBEDDED 25 bool "ELF image with embedded dictionary" 26 default y 27 help 28 Build an elf image with embedded dictionary. This image 29 can easily be used with etherboot. 30 The image filename is openbios.full 31 32config IMAGE_ELF_MULTIBOOT 33 bool "Multiboot image" 34 default y 35 help 36 Build a multiboot image for booting with grub 37 38endmenu 39 40menu "Build hosted UNIX Binary" 41source "arch/unix/Kconfig" 42endmenu 43 44source "kernel/Kconfig" 45source "forth/Kconfig" 46source "libopenbios/Kconfig" 47source "drivers/Kconfig" 48