Reference: https://github.com/ayeks/SGX-hardware