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