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