configs/versal2_vek385_defconfig: add optee_os support

Add optee_os to the default configuration for versal2 devices including an
example with the versal2_vek385_defconfig.

Since not all versal2 optee_os features are upstream, use the downstream
Xilinx release tag xlnx_rebase_v4.5.0_2025.2 for version xilinx_v2025.2
which is based on optee_os v4.5.0.

Signed-off-by: Neal Frager <neal.frager@amd.com>
Signed-off-by: Julien Olivain <ju.o@free.fr>
This commit is contained in:
Neal Frager
2025-12-05 16:43:46 +00:00
committed by Julien Olivain
parent 959a94c2de
commit 00886048b2
3 changed files with 8 additions and 0 deletions

View File

@@ -19,6 +19,7 @@ cat <<-__HEADER_EOF > "${BINARIES_DIR}/bootgen.bif"
id = 0x1c000000, name=apu_subsystem
{ type=raw, load=0x01000000, file=${BINARIES_DIR}/u-boot.dtb }
{ core=a78-0, cluster=0, exception_level=el-3, trustzone, file=${BINARIES_DIR}/bl31.elf }
{ core=a78-0, cluster=0, exception_level=el-1, trustzone, load=0x1800000, file=${BINARIES_DIR}/tee-raw.bin }
{ core=a78-0, cluster=0, exception_level=el-2, file=${BINARIES_DIR}/u-boot.elf }
}
}

View File

@@ -41,6 +41,7 @@ After building, you should get a tree like this:
+-- rootfs.ext4 -> rootfs.ext2
+-- sdcard.img
+-- system.dtb -> u-boot.dtb
+-- tee-raw.bin
+-- u-boot.dtb
`-- u-boot.elf