1CONFIG_MICROBLAZE=y 2CONFIG_SYS_MALLOC_F=y 3CONFIG_SPL_SYS_MALLOC_SIMPLE=y 4CONFIG_TARGET_MICROBLAZE_GENERIC=y 5CONFIG_DEFAULT_DEVICE_TREE="microblaze-generic" 6CONFIG_SPL=y 7CONFIG_SYS_PROMPT="U-Boot-mONStR> " 8CONFIG_CMD_GPIO=y 9# CONFIG_CMD_SETEXPR is not set 10CONFIG_OF_CONTROL=y 11CONFIG_OF_EMBED=y 12