 +    srcs = ["sdk/tlibc/gen/spinlock.c"],
 +    hdrs = ["common/inc/sgx_spinlock.h"],
 +    deps = [":common_inc"],
++)
++
++cc_binary(
++    name = "libsgx_ptrace.so",
++    srcs = [
++        "sdk/debugger_interface/linux/ptrace_version.c",
++        "sdk/debugger_interface/linux/se_ptrace.c",
++    ],
++    copts = [
++        "-D_GNU_SOURCE",
++        "-Iexternal/linux_sgx/common/inc/internal",
++    ],
++    linkopts = ["-ldl"],
++    linkshared = True,
++    deps = [
++        ":common_inc_internal",
++        ":se_wrapper",
++        ":untrusted_inc_internal",
++    ],
 +)
 +
 +cc_library(

+    return 0;
+}
 #endif
diff -Nur sdk/edger8r/linux/Ast.ml sdk/edger8r/linux/Ast.ml
--- sdk/edger8r/linux/Ast.ml
+++ sdk/edger8r/linux/Ast.ml

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