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"