blob: 3d2b21aa1b570f3b9a9be384c1558be2fe47e52e [file] [log] [blame]
Jon Loeligerc9b484b2006-06-17 17:52:35 -05001menu "Platform Support"
2 depends on PPC_86xx
3
4choice
5 prompt "Machine Type"
6 default MPC8641_HPCN
7
8config MPC8641_HPCN
9 bool "Freescale MPC8641 HPCN"
Jon Loeligerf17607fb2006-06-22 13:00:46 -050010 select PPC_I8259
Jon Loeligerc9b484b2006-06-17 17:52:35 -050011 help
12 This option enables support for the MPC8641 HPCN board.
13
14endchoice
15
16
17config MPC8641
18 bool
19 select PPC_INDIRECT_PCI
20 select PPC_UDBG_16550
21 default y if MPC8641_HPCN
22
23config MPIC
24 bool
25 default y
26
27config PPC_INDIRECT_PCI_BE
28 bool
29 depends on PPC_86xx
30 default y
31
32config PPC_STD_MMU
33 bool
34 depends on PPC_86xx
35 default y
36
37endmenu