|
@@ -23,12 +23,12 @@ CONFIG_SD_BOOT=y
|
|
|
CONFIG_BOOTDELAY=3
|
|
|
CONFIG_USE_BOOTARGS=y
|
|
|
# CONFIG_DISPLAY_BOARDINFO is not set
|
|
|
-CONFIG_SPL_TEXT_BASE=0x200000
|
|
|
CONFIG_SPL_SEPARATE_BSS=y
|
|
|
CONFIG_SPL_DISPLAY_PRINT=y
|
|
|
# CONFIG_SYS_MMCSD_RAW_MODE_U_BOOT_USE_SECTOR is not set
|
|
|
CONFIG_SPL_RAM_SUPPORT=y
|
|
|
CONFIG_SPL_RAM_DEVICE=y
|
|
|
+CONFIG_SPL_AT91_MCK_BYPASS=y
|
|
|
CONFIG_HUSH_PARSER=y
|
|
|
CONFIG_CMD_BOOTZ=y
|
|
|
# CONFIG_CMD_IMI is not set
|
|
@@ -75,3 +75,4 @@ CONFIG_TIMER=y
|
|
|
CONFIG_SPL_TIMER=y
|
|
|
CONFIG_ATMEL_PIT_TIMER=y
|
|
|
CONFIG_OF_LIBFDT_OVERLAY=y
|
|
|
+# CONFIG_EFI_LOADER_HII is not set
|