[PATCH] 64bit resource: fix up printks for resources in arch and core code
[linux-2.6] / arch / powerpc / platforms / 85xx / Kconfig
1 menu "Platform support"
2         depends on PPC_85xx
3
4 choice
5         prompt "Machine Type"
6         default MPC8540_ADS
7
8 config MPC8540_ADS
9         bool "Freescale MPC8540 ADS"
10         select DEFAULT_UIMAGE
11         help
12           This option enables support for the MPC 8540 ADS board
13
14 config MPC85xx_CDS
15         bool "Freescale MPC85xx CDS"
16         select DEFAULT_UIMAGE
17         select PPC_I8259 if PCI
18         help
19           This option enables support for the MPC85xx CDS board
20
21 endchoice
22
23 config MPC8540
24         bool
25         select PPC_UDBG_16550
26         select PPC_INDIRECT_PCI
27         default y if MPC8540_ADS || MPC85xx_CDS
28
29 config PPC_INDIRECT_PCI_BE
30         bool
31         depends on PPC_85xx
32         default y
33
34 config MPIC
35         bool
36         default y
37
38 endmenu