|
@@ -22,6 +22,8 @@ CONFIG_SYS_CONSOLE_INFO_QUIET=y
|
|
|
# CONFIG_MISC_INIT_R is not set
|
|
|
CONFIG_VERSION_VARIABLE=y
|
|
|
CONFIG_BOARD_EARLY_INIT_F=y
|
|
|
+CONFIG_AVB_VERIFY=y
|
|
|
+CONFIG_ANDROID_AB=y
|
|
|
CONFIG_SPL_SYS_MALLOC_SIMPLE=y
|
|
|
CONFIG_SPL_SEPARATE_BSS=y
|
|
|
CONFIG_SPL_DMA=y
|
|
@@ -31,11 +33,14 @@ CONFIG_SPL_SPI_LOAD=y
|
|
|
CONFIG_SYS_SPI_U_BOOT_OFFS=0x40000
|
|
|
CONFIG_SPL_YMODEM_SUPPORT=y
|
|
|
CONFIG_CMD_ADTIMG=y
|
|
|
+CONFIG_CMD_ABOOTIMG=y
|
|
|
CONFIG_CMD_SPL=y
|
|
|
CONFIG_CMD_BCB=y
|
|
|
# CONFIG_CMD_FLASH is not set
|
|
|
# CONFIG_CMD_SETEXPR is not set
|
|
|
+CONFIG_CMD_AB_SELECT=y
|
|
|
# CONFIG_CMD_PMIC is not set
|
|
|
+CONFIG_CMD_AVB=y
|
|
|
CONFIG_OF_CONTROL=y
|
|
|
CONFIG_SPL_OF_CONTROL=y
|
|
|
CONFIG_DEFAULT_DEVICE_TREE="am572x-idk"
|
|
@@ -102,3 +107,4 @@ CONFIG_USB_GADGET=y
|
|
|
CONFIG_USB_GADGET_MANUFACTURER="Texas Instruments"
|
|
|
CONFIG_USB_GADGET_VENDOR_NUM=0x0451
|
|
|
CONFIG_USB_GADGET_PRODUCT_NUM=0xd022
|
|
|
+CONFIG_LIBAVB=y
|