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

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

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