4 CONFIG_TARGET_T1042D4RDB=y
5 # CONFIG_SYS_MALLOC_F is not set
8 CONFIG_OF_BOARD_SETUP=y
9 CONFIG_OF_STDOUT_VIA_ALIAS=y
10 CONFIG_SYS_EXTRA_OPTIONS="SYS_FSL_DDR4,SECURE_BOOT"
12 CONFIG_SILENT_CONSOLE=y
13 # CONFIG_CONSOLE_MUX is not set
14 CONFIG_SYS_CONSOLE_IS_IN_ENV=y
28 CONFIG_SPI_FLASH_STMICRO=y
35 CONFIG_CFB_CONSOLE_ANSI=y