Don Porter f35d690992 Put back the sgx_stub_t type %!s(int64=6) %!d(string=hai) anos
..
FreeBSD 76967f39d3 Bugfixes: %!s(int64=7) %!d(string=hai) anos
Linux 5f546699b0 Merge pull request #68 from oscarlab/testing %!s(int64=6) %!d(string=hai) anos
Linux-SGX f35d690992 Put back the sgx_stub_t type %!s(int64=6) %!d(string=hai) anos
Skeleton 76967f39d3 Bugfixes: %!s(int64=7) %!d(string=hai) anos