RISC-V implementation
The ArGen FPGA overlay framework
Makefiles to build OPTEE OS on zynqmp platforms