ddd64159eb
* Fix IRQ support in the 85xx CDS boards so it uses the new generic stuff * Fix PCI IRQ mapping to use the device tree * Disabled i8259 support to allow the CDS to boot. This will be fixed soon, but the current code doesn't even compile, so this is a vast improvement Signed-off-by: Andy Fleming <afleming@freescale.com> Signed-off-by: Paul Mackerras <paulus@samba.org>
38 lines
597 B
Plaintext
38 lines
597 B
Plaintext
menu "Platform support"
|
|
depends on PPC_85xx
|
|
|
|
choice
|
|
prompt "Machine Type"
|
|
default MPC8540_ADS
|
|
|
|
config MPC8540_ADS
|
|
bool "Freescale MPC8540 ADS"
|
|
select DEFAULT_UIMAGE
|
|
help
|
|
This option enables support for the MPC 8540 ADS board
|
|
|
|
config MPC85xx_CDS
|
|
bool "Freescale MPC85xx CDS"
|
|
select DEFAULT_UIMAGE
|
|
help
|
|
This option enables support for the MPC85xx CDS board
|
|
|
|
endchoice
|
|
|
|
config MPC8540
|
|
bool
|
|
select PPC_UDBG_16550
|
|
select PPC_INDIRECT_PCI
|
|
default y if MPC8540_ADS || MPC85xx_CDS
|
|
|
|
config PPC_INDIRECT_PCI_BE
|
|
bool
|
|
depends on PPC_85xx
|
|
default y
|
|
|
|
config MPIC
|
|
bool
|
|
default y
|
|
|
|
endmenu
|