CONFIG_TEE=y
CONFIG_OPTEE=y
# CONFIG_OPTEE_TA_AVB is not set
# CONFIG_OPTEE_TA_SCP03 is not set
# CONFIG_DISTRO_DEFAULTS is not set
# CONFIG_ENV_IS_IN_MMC is not set
CONFIG_ENV_IS_NOWHERE=y
# CONFIG_EFI_LOADER is not set
# CONFIG_CMD_OPTEE_RPMB is not set
# CONFIG_FIT_SIGNATURE is not set
# CONFIG_CHIMP_OPTEE is not set
# CONFIG_USB is not set
# CONFIG_CMD_NET is not set
# CONFIG_CMD_TPM is not set
# CONFIG_TPM is not set
# CONFIG_TPM_V1 is not set
# CONFIG_TPM_V2 is not set
# CONFIG_NET is not set
# CONFIG_PCI is not set
# CONFIG_CMD_ELF is not set
# CONFIG_CMD_GO is not set
CONFIG_HUSH_PARSER=y
CONFIG_CMD_FS_GENERIC=y
CONFIG_CMD_EXT2=y
CONFIG_USE_BOOTARGS=y
CONFIG_BOOTARGS="console=ttyS2,1500000 root=PARTUUID=17d61bff-8fdc-4089-b675-9be21b9f6ac7 loglevel=6 rootwait"
CONFIG_DEFAULT_FDT_FILE="/boot/rk3399-rock-pi-4b.dtb"
CONFIG_USE_BOOTCOMMAND=y
## Note: kernel_addr_gz is arbitrarily chosen to be 100M (0xa0000000) above kernel_addr_r
## That leaves quite a lot of room to decompress the kernel which by default is ~50MB
CONFIG_BOOTCOMMAND="setenv bootdev unknown; setenv kernel_addr_gz 0xa2080000; setenv kernel /boot/Image.gz; for d in 1 0; do test ${bootdev} = unknown && echo .. Looking for ${kernel} in mmc ${d}:5 && test -e mmc ${d}:5 ${kernel} && setenv bootdev ${d} && echo .. Found; done; if test ${bootdev} = unknown; then echo .. Kernel not found; else echo .. Loading kernel; ext2load mmc ${bootdev}:5 ${kernel_addr_gz} ${kernel}; unzip ${kernel_addr_gz} ${kernel_addr_r}; echo .. Loading DTB: mmc ${bootdev}:5 ${fdtfile}; ext2load mmc ${bootdev}:5 ${fdt_addr_r} ${fdtfile}; echo .. Booting kernel; booti ${kernel_addr_r} - ${fdt_addr_r}; fi"
CONFIG_BOOTDELAY=0