1 mainmenu "OpenBIOS Configuration"
7 Building for AMD64 hardware.
13 AMD64 is little endian.
16 menu "Kernel binaries (AMD64)"
19 bool "ELF image (for LinuxBIOS)"
22 Build a simple elf image that can be used with LinuxBIOS
23 This image will be called openbios.elf
25 config IMAGE_ELF_EMBEDDED
26 bool "ELF image with embedded dictionary"
29 Build an elf image with embedded dictionary. This image
30 can easily be used with etherboot.
31 The image filename is openbios.full
33 config IMAGE_ELF_MULTIBOOT
34 bool "Multiboot image"
37 Build a multiboot image for booting with grub
41 menu "Build hosted UNIX Binary"
42 source "arch/unix/Kconfig"
45 source "kernel/Kconfig"
46 source "forth/Kconfig"
47 source "libopenbios/Kconfig"
48 source "drivers/Kconfig"