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