ARM Trusted Firmware for Rockchip RK3399 SoCs
