 +        "-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",

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

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