CONFIG_DM_GPIO=y
CONFIG_DEFAULT_DEVICE_TREE="socfpga_n5x_socdk"
CONFIG_SPL_TEXT_BASE=0xFFE00000
-CONFIG_SYS_PROMPT="SOCFPGA_N5X # "
CONFIG_DM_RESET=y
CONFIG_SPL_STACK=0xffe3f000
CONFIG_TARGET_SOCFPGA_N5X_SOCDK=y
CONFIG_SPL_ATF_NO_PLATFORM_PARAM=y
CONFIG_SPL_TARGET="spl/u-boot-spl-dtb.hex"
CONFIG_HUSH_PARSER=y
+CONFIG_SYS_PROMPT="SOCFPGA_N5X # "
CONFIG_SYS_MAXARGS=64
CONFIG_SYS_PBSIZE=2079
CONFIG_SYS_BOOTM_LEN=0x2000000