 +    _ignore = (settings, attrs)
 +    return {_internal_simulation_label: 1 if attrs.simulation else 2}
 +
+diff -Nur /dev/null runtime_support/BUILD
+--- /dev/null
++++ runtime_support/BUILD
+@@ -0,0 +1,16 @@
++# Runtime support for linux_sgx
++
++licenses(["notice"])
++
++exports_files(["LICENSE"])
++
++cc_library(
++    name = "runtime_support",
++    srcs = [
++        "sgx_init_crypto_lib.c",
++        "sgx_init_string_lib.c",
++    ],
++    hdrs = ["rts_config.h"],
++    visibility = ["@linux_sgx//:__pkg__"],
++    deps = ["@linux_sgx//:common_inc"],
++)
 diff -Nur /dev/null debug_key_mrsigner.cc
 --- /dev/null
 +++ debug_key_mrsigner.cc

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