Check for sgx availability Build make sgx-avail Yes, there is no Makefile. Yes, it works anyway. Make knows how to build it even without a Makefile.