Daniel Lang f0b2e3f224 boot/optee-os: add CPE identifier hace 6 meses
..
3.13.0 4200631ce2 boot/optee-os: use dedicated 3.13.0 patch directory hace 4 años
Config.in d03195c90e boot/optee-os: bump to version 4.0.0 hace 1 año
optee-os.hash d03195c90e boot/optee-os: bump to version 4.0.0 hace 1 año
optee-os.mk f0b2e3f224 boot/optee-os: add CPE identifier hace 6 meses