 +# CC0 1.0 (DLMalloc),
 +licenses(["reciprocal"])  # Eclipse public license
 +
++load(
++    ":sgx_sdk.bzl",
++    "sgx_enclave",
++    "sgx_enclave_configuration",
++)
++
 +exports_files([
 +    "LICENSE",
 +    "enclave_sim.lds",
 +    "enclave_test_private.pem",
 +])
-+
-+load(
-+    ":sgx_sdk.bzl",
-+    "sgx_enclave",
-+    "sgx_enclave_configuration",
-+)
 +
 +config_setting(
 +    name = "dbg",

 bool is_valid_sp(uintptr_t sp);
--- /dev/null
+++ BUILD
@@ -0,0 +1,1177 @@
+# linux-sgx is the Intel SGX SDK
+
+# "notice" licenses present:

+        ":untrusted_inc",
+        ":untrusted_inc_internal",
+        ":common_inc_internal",
+        ":uae_service_select",
+    ] + select({
+        ":sgx_hw": [
+            ":urts_hw",
