| CONFIG_SYS_EXTRA_OPTIONS="IMX_CONFIG=board/technexion/pico-imx7d/imximage_512mb.cfg,MX7D,,DDR_MB=512,ANDROID_SUPPORT,BRILLO_SUPPORT,EFI_PARTITION,AVB_SUPPORT,SYSTEM_RAMDISK_SUPPORT,DDR_MB=512" | |
| CONFIG_ARM=y | |
| CONFIG_TARGET_PICO_IMX7D=y | |
| CONFIG_SYS_MALLOC_F=y | |
| CONFIG_SYS_MALLOC_F_LEN=0x400 | |
| CONFIG_DM=y | |
| CONFIG_DM_THERMAL=y |