Description: source code of the OPTEE_OS for NVIDIA Jetson Linux - View it on GitHub