arch/powerpc/platforms/86xx/Kconfig

   1 choice
   2         prompt "86xx Board Type"
   3         depends on PPC_86xx
   4         default MPC8641_HPCN
   5
   6 config MPC8641_HPCN
   7         bool "Freescale MPC8641 HPCN"
   8         select PPC_I8259
   9         select DEFAULT_UIMAGE
  10         select FSL_ULI1575
  11         select HAS_RAPIDIO
  12         help
  13           This option enables support for the MPC8641 HPCN board.
  14
  15 config SBC8641D
  16         bool "Wind River SBC8641D"
  17         select DEFAULT_UIMAGE
  18         help
  19           This option enables support for the WRS SBC8641D board.
  20
  21 config MPC8610_HPCD
  22         bool "Freescale MPC8610 HPCD"
  23         select DEFAULT_UIMAGE
  24         help
  25           This option enables support for the MPC8610 HPCD board.
  26
  27 endchoice
  28
  29 config MPC8641
  30         bool
  31         select FSL_PCI if PCI
  32         select PPC_UDBG_16550
  33         select MPIC
  34         default y if MPC8641_HPCN || SBC8641D
  35
  36 config MPC8610
  37         bool
  38         select FSL_PCI if PCI
  39         select PPC_UDBG_16550
  40         select MPIC
  41         default y if MPC8610_HPCD