1 mainmenu "OpenBIOS Configuration"
7 Building for PPC hardware.
13 PPC hardware is big endian (per default)
16 prompt "Platform Type"
22 Build an image for Mac-on-Linux
25 bool "MPC107 board (Crescendo)"
27 Build for Crescendo board.
30 bool "Total Impact briQ"
32 Build an image for the Total Impact briQ
37 Don't build any images.
41 menu "Build hosted UNIX Binary"
42 source "arch/unix/Kconfig"
45 source "kernel/Kconfig"
46 source "forth/Kconfig"
47 source "libopenbios/Kconfig"
48 source "drivers/Kconfig"