Daniel Lang f2498258d4 boot/optee-os: add CPE identifier hace 5 meses
..
3.13.0 4200631ce2 boot/optee-os: use dedicated 3.13.0 patch directory hace 4 años
Config.in 0f3791f25f boot/optee-os: add custom version option hace 7 meses
optee-os.hash e30d507cbb boot/optee-os: bump to 4.3.0 hace 1 año
optee-os.mk f2498258d4 boot/optee-os: add CPE identifier hace 5 meses