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         help
  12           This option enables support for the MPC8641 HPCN board.
  13
  14 config SBC8641D
  15         bool "Wind River SBC8641D"
  16         select DEFAULT_UIMAGE
  17         help
  18           This option enables support for the WRS SBC8641D board.
  19
  20 config MPC8610_HPCD
  21         bool "Freescale MPC8610 HPCD"
  22         select DEFAULT_UIMAGE
  23         help
  24           This option enables support for the MPC8610 HPCD board.
  25
  26 endchoice
  27
  28 config MPC8641
  29         bool
  30         select FSL_PCI if PCI
  31         select PPC_UDBG_16550
  32         select MPIC
  33         default y if MPC8641_HPCN || SBC8641D
  34
  35 config MPC8610
  36         bool
  37         select FSL_PCI if PCI
  38         select PPC_UDBG_16550
  39         select MPIC
  40         default y if MPC8610_HPCD