 +        "external/rdrand/src/rdrand.h",
 +    ],
 +    hdrs = ["external/rdrand/rdrand.h"],
-+    copts = ["-Iexternal/linux_sgx/external/rdrand/src"],
++    copts = [
++        "-Iexternal/linux_sgx/external/rdrand/src",
++        "-Wno-maybe-uninitialized",
++    ],
 +)
 +
 +cc_library(

+        "-Iexternal/linux_sgx/sdk/simulation/tinst",
+        "-Iexternal/linux_sgx/sdk/simulation/urtssim",
+        "-Iexternal/linux_sgx/sdk/tseal",
+        "-Wno-maybe-uninitialized",
+    ],
+    linkopts = [
+        "-Wl,--no-as-needed -ldl",

 bool is_valid_sp(uintptr_t sp);
--- /dev/null
+++ BUILD
@@ -0,0 +1,1307 @@
+# linux-sgx is the Intel SGX SDK
+
+load(
