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