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         help
  11           This option enables support for the MPC8641 HPCN board.
  12
  13 endchoice
  14
  15
  16 config MPC8641
  17         bool
  18         select PPC_INDIRECT_PCI
  19         select PPC_UDBG_16550
  20         default y if MPC8641_HPCN
  21
  22 config MPIC
  23         bool
  24         default y
  25
  26 config PPC_INDIRECT_PCI_BE
  27         bool
  28         depends on PPC_86xx
  29         default y
  30
  31 config PPC_STD_MMU
  32         bool
  33         depends on PPC_86xx
  34         default y
  35
  36 endmenu