Eleos: ExitLess OS Services for SGX Enclaves
Intel SGX Explained.