 +)
 --- /dev/null
 +++ sgx_sdk.bzl
-@@ -0,0 +1,317 @@
+@@ -0,0 +1,384 @@
 +"""Build tools for supporting Intel's SDK."""
 +
 +load("@com_google_asylo_backend_provider//:enclave_info.bzl", "EnclaveInfo")
 +
 +SGXEnclaveInfo = provider()
-+SGXEnclaveConfigInfo = provider()
++SGXEnclaveConfigInfo = provider(fields = [
++    "disable_debug",
++    "heap_max_size",
++    "isvsvn",
++    "misc_mask",
++    "misc_select",
++    "prodid",
++    "provision_key",
++    "kss",
++    "isvextprodid",
++    "isvfamilyid",
++    "stack_max_size",
++    "tcs_num",
++    "tcs_policy",
++])
 +
 +
 +def _sgx_unsigned_enclave(

+    )
+
+    kwargs = {k: v for k, v in kwargs.items() if k in ["visibility"]}
+    _sgx_debug_sign_enclave(
+        name = name,
+        unsigned = unsigned_name,
+        tags = sgx_tags(),
+        config = config,
+        testonly = testonly,
+        **kwargs
+    )

 bool is_valid_sp(uintptr_t sp);
--- /dev/null
+++ BUILD
@@ -0,0 +1,1336 @@
+# linux-sgx is the Intel SGX SDK
+
+load(
+    ":sgx_sdk.bzl",
+    "sgx_enclave",
+    "sgx_full_enclave_configuration",
+    "sgx_enclave_configuration",
+)
+
