CONFIG_CUSTOM_SYS_INIT_SP_ADDR=0x00200000
CONFIG_DM_GPIO=y
CONFIG_DEFAULT_DEVICE_TREE="meson-a1-ad401"
-CONFIG_SYS_PROMPT="ad401 # "
CONFIG_OF_LIBFDT_OVERLAY=y
CONFIG_MESON_A1=y
CONFIG_DEBUG_UART_BASE=0xfe001c00
CONFIG_BOOTCOMMAND="run storeboot"
# CONFIG_DISPLAY_CPUINFO is not set
# CONFIG_DISPLAY_BOARDINFO is not set
+CONFIG_SYS_PROMPT="ad401 # "
# CONFIG_CMD_BDI is not set
# CONFIG_CMD_IMI is not set
CONFIG_CMD_GPIO=y