arm-trusted-firmware
edk2
OpenPlatformPkg