| mainmenu "OpenBIOS Configuration" | |
| config AMD64 | |
| bool | |
| default y | |
| help | |
| Building for AMD64 hardware. | |
| config LITTLE_ENDIAN | |
| bool | |
| default y | |
| help | |
| AMD64 is little endian. | |
| menu "Kernel binaries (AMD64)" | |
| config IMAGE_ELF | |
| bool "ELF image (for LinuxBIOS)" | |
| default y | |
| help | |
| Build a simple elf image that can be used with LinuxBIOS | |
| This image will be called openbios.elf | |
| config IMAGE_ELF_EMBEDDED | |
| bool "ELF image with embedded dictionary" | |
| default y | |
| help | |
| Build an elf image with embedded dictionary. This image | |
| can easily be used with etherboot. | |
| The image filename is openbios.full | |
| config IMAGE_ELF_MULTIBOOT | |
| bool "Multiboot image" | |
| default y | |
| help | |
| Build a multiboot image for booting with grub | |
| endmenu | |
| menu "Build hosted UNIX Binary" | |
| source "arch/unix/Kconfig" | |
| endmenu | |
| source "kernel/Kconfig" | |
| source "forth/Kconfig" | |
| source "libopenbios/Kconfig" | |
| source "drivers/Kconfig" |