blob: f1f677dbaec601a44a905f9adefb050f8fd3edcf (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
|
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"
|
