1 mainmenu "OpenBIOS Configuration"
7 Building for X86 hardware.
15 menu "Kernel binaries (x86)"
18 bool "ELF image (for LinuxBIOS)"
21 Build a simple elf image that can be used with LinuxBIOS
22 This image will be called openbios.elf
24 config IMAGE_ELF_EMBEDDED
25 bool "ELF image with embedded dictionary"
28 Build an elf image with embedded dictionary. This image
29 can easily be used with etherboot.
30 The image filename is openbios.full
32 config IMAGE_ELF_MULTIBOOT
33 bool "Multiboot image"
36 Build a multiboot image for booting with grub
40 menu "Build hosted UNIX Binary"
41 source "arch/unix/Kconfig"
44 source "kernel/Kconfig"
45 source "forth/Kconfig"
46 source "libopenbios/Kconfig"
47 source "drivers/Kconfig"