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 endchoice
  15
  16 config MPC8641
  17         bool
  18         select FSL_PCI if PCI
  19         select PPC_UDBG_16550
  20         select MPIC
  21         default y if MPC8641_HPCN