/arm-trusted-firmware-dist.mk/1.1/Tue Jun 30 14:33:14 2020//
D/patches////
/distinfo/1.4/Sun Jan 30 01:01:14 2022//
/arm-trusted-firmware.mk/1.3/Wed Jun  7 01:01:08 2023//