[ARM] Support register switch in nommu mode
[linux-2.6/verdex.git] / arch / powerpc / platforms / 83xx / Kconfig
blobb20812d460e6edee41ee7eedf165dbba1a15cbff
1 menu "Platform support"
2         depends on PPC_83xx
4 choice
5         prompt "Machine Type"
6         default MPC834x_SYS
8 config MPC834x_SYS
9         bool "Freescale MPC834x SYS"
10         help
11           This option enables support for the MPC 834x SYS evaluation board.
13           Be aware that PCI buses can only function when SYS board is plugged
14           into the PIB (Platform IO Board) board from Freescale which provide
15           3 PCI slots.  The PIBs PCI initialization is the bootloader's
16           responsiblilty.
18 endchoice
20 config MPC834x
21         bool
22         select PPC_UDBG_16550
23         select PPC_INDIRECT_PCI
24         default y if MPC834x_SYS
26 endmenu