arch/powerpc/platforms/microwatt/Kconfig

   1 # SPDX-License-Identifier: GPL-2.0
   2 config PPC_MICROWATT
   3         depends on PPC_BOOK3S_64 && !SMP
   4         bool "Microwatt SoC platform"
   5         select PPC_XICS
   6         select PPC_ICS_NATIVE
   7         select PPC_ICP_NATIVE
   8         select PPC_UDBG_16550
   9         help
  10           This option enables support for FPGA-based Microwatt implementations.
  11