| Jerome Forissier | 3521ef3 | 2022-11-03 17:32:47 +0100 | [diff] [blame] | 1 | CONFIG_TEE=y |
| 2 | CONFIG_OPTEE=y |
| 3 | # CONFIG_OPTEE_TA_AVB is not set |
| 4 | # CONFIG_OPTEE_TA_SCP03 is not set |
| 5 | # CONFIG_DISTRO_DEFAULTS is not set |
| 6 | # CONFIG_ENV_IS_IN_MMC is not set |
| 7 | CONFIG_ENV_IS_NOWHERE=y |
| 8 | # CONFIG_EFI_LOADER is not set |
| 9 | # CONFIG_CMD_OPTEE_RPMB is not set |
| 10 | # CONFIG_FIT_SIGNATURE is not set |
| 11 | # CONFIG_CHIMP_OPTEE is not set |
| 12 | # CONFIG_USB is not set |
| 13 | # CONFIG_CMD_NET is not set |
| 14 | # CONFIG_CMD_TPM is not set |
| 15 | # CONFIG_TPM is not set |
| 16 | # CONFIG_TPM_V1 is not set |
| 17 | # CONFIG_TPM_V2 is not set |
| 18 | # CONFIG_NET is not set |
| 19 | # CONFIG_PCI is not set |
| 20 | # CONFIG_CMD_ELF is not set |
| 21 | # CONFIG_CMD_GO is not set |
| 22 | CONFIG_HUSH_PARSER=y |
| 23 | CONFIG_CMD_FS_GENERIC=y |
| 24 | CONFIG_CMD_EXT2=y |
| 25 | CONFIG_USE_BOOTARGS=y |
| Jerome Forissier | 366accb | 2022-11-30 10:19:31 +0000 | [diff] [blame] | 26 | CONFIG_BOOTARGS="console=ttyS2,1500000 root=PARTUUID=17d61bff-8fdc-4089-b675-9be21b9f6ac7 loglevel=6 rootwait" |
| Jerome Forissier | 3521ef3 | 2022-11-03 17:32:47 +0100 | [diff] [blame] | 27 | CONFIG_DEFAULT_FDT_FILE="/boot/rk3399-rock-pi-4b.dtb" |
| 28 | CONFIG_USE_BOOTCOMMAND=y |
| 29 | ## Note: kernel_addr_gz is arbitrarily chosen to be 100M (0xa0000000) above kernel_addr_r |
| 30 | ## That leaves quite a lot of room to decompress the kernel which by default is ~50MB |
| 31 | 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" |
| 32 | CONFIG_BOOTDELAY=0 |