SGX-LKL Library OS for running Linux applications inside of Intel SGX enclaves - View it on GitHub