config ADK_TARGET_SYSTEM_SIPEED_MAIXDUINO
	bool "Sipeed MAiXDUiNO"
	select ADK_TARGET_CPU_RISCV64
	select ADK_TARGET_WITH_SERIAL
	select ADK_TARGET_KERNEL_IMAGE
	help
	  Sipeed MAiXDUiNO support.
