GitHub repository: riteme/phoenix
Description: Intel SGX microkernel based on Graphene-SGX