mirror of
https://gitlab.com/buildroot.org/buildroot.git
synced 2026-08-18 21:33:39 -09:00
Bump OP-TEE OS package version to OP-TEE release 3.13.0. Add a patch already merged OP-TEE to fix build issue seen with 3.13.0 on some BR toolchain. Signed-off-by: Etienne Carriere <etienne.carriere@linaro.org> Signed-off-by: Thomas Petazzoni <thomas.petazzoni@bootlin.com>