3d2b21aa1b570f3b9a9be384c1558be2fe47e52e
[safe/jmp/linux-2.6] / arch / powerpc / platforms / 86xx / Kconfig
1 menu "Platform Support"
2         depends on PPC_86xx
3
4 choice
5         prompt "Machine Type"
6         default MPC8641_HPCN
7
8 config MPC8641_HPCN
9         bool "Freescale MPC8641 HPCN"
10         select PPC_I8259
11         help
12           This option enables support for the MPC8641 HPCN board.
13
14 endchoice
15
16
17 config MPC8641
18         bool
19         select PPC_INDIRECT_PCI
20         select PPC_UDBG_16550
21         default y if MPC8641_HPCN
22
23 config MPIC
24         bool
25         default y
26
27 config PPC_INDIRECT_PCI_BE
28         bool
29         depends on PPC_86xx
30         default y
31
32 config PPC_STD_MMU
33         bool
34         depends on PPC_86xx
35         default y
36
37 endmenu