diff options
Diffstat (limited to 'roms/openbios/arch/x86/Kconfig')
| -rw-r--r-- | roms/openbios/arch/x86/Kconfig | 47 |
1 files changed, 47 insertions, 0 deletions
diff --git a/roms/openbios/arch/x86/Kconfig b/roms/openbios/arch/x86/Kconfig new file mode 100644 index 00000000..eac95828 --- /dev/null +++ b/roms/openbios/arch/x86/Kconfig @@ -0,0 +1,47 @@ +mainmenu "OpenBIOS Configuration" + +config X86 + bool + default y + help + Building for X86 hardware. + +config LITTLE_ENDIAN + bool + default y + help + X86 is little endian + +menu "Kernel binaries (x86)" + +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" |