| 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" |
