ppc: Set up SLBs for ppc64
[openbios/afaerber.git] / arch / ppc / Kconfig
blobf317c0a4d6b92f1752ee2381ad2915cefe293e2e
1 mainmenu "OpenBIOS Configuration"
3 config PPC
4         bool
5         default y
6         help
7           Building for PPC hardware.
9 config BIG_ENDIAN
10         bool
11         default y
12         help
13           PPC hardware is big endian (per default)
15 choice
16         prompt "Platform Type"
17         default MOL
19 config MOL
20         bool "Mac-on-Linux"
21         help
22           Build an image for Mac-on-Linux
24 config MPC107
25         bool "MPC107 board (Crescendo)"
26         help
27           Build for Crescendo board.
29 config BRIQ
30         bool "Total Impact briQ"
31         help
32           Build an image for the Total Impact briQ
34 config NO_ARCH
35         bool "None"
36         help
37           Don't build any images.
39 endchoice
41 menu "Build hosted UNIX Binary"
42 source "arch/unix/Kconfig"
43 endmenu
45 source "kernel/Kconfig"
46 source "forth/Kconfig"
47 source "libopenbios/Kconfig"
48 source "drivers/Kconfig"