 +        "-Iexternal/linux_sgx/sdk/simulation/tinst",
 +        "-Iexternal/linux_sgx/sdk/simulation/urtssim",
 +        "-Iexternal/linux_sgx/sdk/tseal",
++        "-Wno-unused-function",
 +        "-Wno-deprecated-declarations",
 +    ],
 +    linkopts = [

+    includes = [
+        "common/inc",
+    ],
+    visibility = ["@sgx_dcap//:__pkg__"],
+)
+
+cc_library(

diff -Nur /dev/null BUILD
--- /dev/null
+++ BUILD
@@ -0,0 +1,1278 @@
+# linux-sgx is the Intel SGX SDK
+
+load(":sgx_sdk.bzl", "asylo_sgx_backend", "enclave_lds", "sgx")
