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