GitHub repository: salsal97/sgx-lkl
Description: SGX-LKL Library OS for running Linux applications inside of Intel SGX enclaves