1mainmenu "OpenBIOS Configuration"
2
3config X86
4	bool
5	default y
6	help
7	  Building for X86 hardware.
8
9config LITTLE_ENDIAN
10	bool
11	default y
12	help
13	  X86 is little endian
14
15menu "Kernel binaries (x86)"
16
17config IMAGE_ELF
18	bool "ELF image (for LinuxBIOS)"
19	default y
20	help
21	  Build a simple elf image that can be used with LinuxBIOS
22	  This image will be called openbios.elf
23
24config IMAGE_ELF_EMBEDDED
25	bool "ELF image with embedded dictionary"
26	default y
27	help
28	  Build an elf image with embedded dictionary. This image
29	  can easily be used with etherboot.
30	  The image filename is openbios.full
31
32config IMAGE_ELF_MULTIBOOT
33	bool "Multiboot image"
34	default y
35	help
36	  Build a multiboot image for booting with grub
37
38endmenu
39
40menu "Build hosted UNIX Binary"
41source "arch/unix/Kconfig"
42endmenu
43
44source "kernel/Kconfig"
45source "forth/Kconfig"
46source "libopenbios/Kconfig"
47source "drivers/Kconfig"
48