target/riscv64/systems/sipeed-maix-bit

   1 config ADK_TARGET_SYSTEM_SIPEED_MAIX_BIT
   2         bool "Sipeed MAiX Bit"
   3         select ADK_TARGET_CPU_RISCV64
   4         select ADK_TARGET_WITH_SERIAL
   5         select ADK_TARGET_KERNEL_IMAGE
   6         help
   7           Sipeed MAiX Bit support.