CONFIG_CUSTOM_SYS_INIT_SP_ADDR=0x82000000
CONFIG_DEFAULT_DEVICE_TREE="openpiton-riscv64"
CONFIG_SYS_PROMPT="openpiton$ "
+CONFIG_OF_LIBFDT_OVERLAY=y
CONFIG_SYS_LOAD_ADDR=0x87000000
CONFIG_TARGET_OPENPITON_RISCV64=y
CONFIG_ARCH_RV64I=y
CONFIG_SHA256=y
CONFIG_MD5=y
CONFIG_GETOPT=y
-CONFIG_OF_LIBFDT_OVERLAY=y
# CONFIG_EFI_LOADER is not set