Etienne Carriere d03195c90e boot/optee-os: bump to version 4.0.0 ... Bumps OP-TEE OS package version to OP-TEE release 4.0.0. Signed-off-by: Etienne Carriere <etienne.carriere@foss.st.com> Signed-off-by: Thomas Petazzoni <thomas.petazzoni@bootlin.com>		2023-11-01 11:32:58 +01:00
..
3.13.0
Config.in
optee-os.hash
optee-os.mk