 +    srcs = ["sdk/tlibc/gen/spinlock.c"],
 +    hdrs = ["common/inc/sgx_spinlock.h"],
 +    deps = [":common_inc"],
++)
++
++cc_library(
++    name = "debug_key_mrsigner",
++    testonly = 1,
++    srcs = ["debug_key_mrsigner.cc"],
++    hdrs = ["debug_key_mrsigner.h"],
++    visibility = ["//visibility:public"],
 +)
 +
 +# Target selecting either simulation or hardware mode trusted include files

diff -Nur /dev/null BUILD
--- /dev/null
+++ BUILD
@@ -0,0 +1,1336 @@
+# linux-sgx is the Intel SGX SDK
+
+load(

+#include "common/inc/sgx_urts.h"  // IWYU pragma: export
+
+#endif  // _INCLUDE_SGX_URTS_H_
diff -Nur /dev/null runtime_support/rts_config.h
--- /dev/null
+++ runtime_support/rts_config.h
@@ -0,0 +1,23 @@
+#ifndef _RUNTIME_SUPPORT_RTS_CONFIG_H_
+#define _RUNTIME_SUPPORT_RTS_CONFIG_H_
+
+#include <string.h>
+
+#ifndef _ERNNO_T_DEFINED
+#define _ERRNO_T_DEFINED
+typedef int errno_t;
+#endif
+
+#ifdef __cplusplus
+extern "C" {
+#endif
+
+errno_t memset_s(void *s, size_t smax, int c, size_t n);
+
+int consttime_memequal(const void *b1, const void *b2, size_t len);
+
+#ifdef __cplusplus
+}
+#endif
+
+#endif  // _RUNTIME_SUPPORT_RTS_CONFIG_H_
diff -Nur /dev/null runtime_support/sgx_init_crypto_lib.c
--- /dev/null
+++ runtime_support/sgx_init_crypto_lib.c
@@ -0,0 +1,10 @@
+
+#include <stdint.h>
+
+#include "sgx_error.h"
+
+sgx_status_t sgx_init_crypto_lib(uint64_t cpu_feature_indicator,
+                                 uint32_t *cpuid_table) {
+  return SGX_SUCCESS;
+}
+
diff -Nur /dev/null runtime_support/sgx_init_string_lib.c
--- /dev/null
+++ runtime_support/sgx_init_string_lib.c
@@ -0,0 +1,8 @@
+
+#include <stdint.h>
+
+int __NR_rt_sigprocmask;
+
+int sgx_init_string_lib(uint64_t cpu_feature_indicator) {
+  return 0;
+}
diff -Nur /dev/null external/rdrand/src/config.h
--- /dev/null
+++ external/rdrand/src/config.h
