Add sgx build, documentation, verify-enclave

sgx-jvm/jvm-enclave/common/rpc/java.edl

@@ -0,0 +1,15 @@
+/**
+ * Interface definitions for the ecalls (in) and ocalls (out) to/from the enclave. This is used to generate
+ * marshalling code that moves calls across the boundary.
+ */
+
+enclave {
+    from "start_thread.edl" import *;
+    trusted {
+        public void check_transaction([in, size=len] void* reqbuf, size_t len, [out, size=1024] char* error);
+    };
+
+    untrusted {
+        void debug_print([in, string] const char *string);
+    };
+};