3 CONFIG_DEFAULT_DEVICE_TREE="minnowmax"
4 CONFIG_TARGET_MINNOWMAX=y
7 CONFIG_GENERATE_SFI_TABLE=y
11 CONFIG_BOOTSTAGE_REPORT=y
12 CONFIG_CMD_BOOTSTAGE=y
17 CONFIG_FRAMEBUFFER_SET_VESA_MODE=y
18 CONFIG_FRAMEBUFFER_VESA_MODE_11A=y
19 CONFIG_USE_PRIVATE_LIBGCC=y
20 CONFIG_SYS_VSNPRINTF=y