arch/powerpc/platforms/86xx/Kconfig

   1 menu "Platform Support"
   2         depends on PPC_86xx
   3
   4 choice
   5         prompt "Machine Type"
   6         default MPC8641_HPCN
   7
   8 config MPC8641_HPCN
   9         bool "Freescale MPC8641 HPCN"
  10         select PPC_I8259
  11         help
  12           This option enables support for the MPC8641 HPCN board.
  13
  14 endchoice
  15
  16
  17 config MPC8641
  18         bool
  19         select PPC_INDIRECT_PCI
  20         select PPC_UDBG_16550
  21         default y if MPC8641_HPCN
  22
  23 config MPIC
  24         bool
  25         default y
  26
  27 config PPC_INDIRECT_PCI_BE
  28         bool
  29         depends on PPC_86xx
  30         default y
  31
  32 endmenu