GitHub repository: xen-troops/docker_optee_os_ci
Description: Dockerfile to run OP-TEE OS / Zephyr Continuous Integration