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 PPC
bool
default y
help
Building for PPC hardware.
config BIG_ENDIAN
bool
default y
help
PPC hardware is big endian (per default)
choice
prompt "Platform Type"
default MOL
config MOL
bool "Mac-on-Linux"
help
Build an image for Mac-on-Linux
config MPC107
bool "MPC107 board (Crescendo)"
help
Build for Crescendo board.
config BRIQ
bool "Total Impact briQ"
help
Build an image for the Total Impact briQ
config NO_ARCH
bool "None"
help
Don't build any images.
endchoice
menu "Build hosted UNIX Binary"
source "arch/unix/Kconfig"
endmenu
source "kernel/Kconfig"
source "forth/Kconfig"
source "libopenbios/Kconfig"
source "drivers/Kconfig"
|
