|
@@ -11,6 +11,10 @@ CONFIG_DEBUG_UART_BASE=0xff690000
|
|
|
CONFIG_DEBUG_UART_CLOCK=24000000
|
|
|
CONFIG_DEBUG_UART=y
|
|
|
# CONFIG_ANDROID_BOOT_IMAGE is not set
|
|
|
+CONFIG_FIT=y
|
|
|
+CONFIG_FIT_VERBOSE=y
|
|
|
+CONFIG_SPL_LOAD_FIT=y
|
|
|
+CONFIG_SPL_FIT_GENERATOR="arch/arm/mach-rockchip/fit_spl_optee.sh"
|
|
|
CONFIG_USE_PREBOOT=y
|
|
|
CONFIG_SILENT_CONSOLE=y
|
|
|
CONFIG_DEFAULT_FDT_FILE="rk3288-evb-rk808.dtb"
|
|
@@ -18,6 +22,7 @@ CONFIG_DEFAULT_FDT_FILE="rk3288-evb-rk808.dtb"
|
|
|
CONFIG_DISPLAY_BOARDINFO_LATE=y
|
|
|
CONFIG_SPL_STACK_R=y
|
|
|
CONFIG_SPL_STACK_R_MALLOC_SIMPLE_LEN=0x10000
|
|
|
+CONFIG_SPL_OPTEE=y
|
|
|
CONFIG_CMD_GPIO=y
|
|
|
CONFIG_CMD_GPT=y
|
|
|
CONFIG_CMD_I2C=y
|