  #endif
 --- /dev/null
 +++ BUILD
-@@ -0,0 +1,1151 @@
+@@ -0,0 +1,1171 @@
 +# linux-sgx is the Intel SGX SDK
 +
 +package(

+
+#endif  // _INCLUDE_SGX_TRTS_EXCEPTION_H_
--- /dev/null
+++ include/sgx_urts.h
@@ -0,0 +1,6 @@
+#ifndef _INCLUDE_SGX_URTS_H_

+        ":untrusted_inc_internal",
+        ":untrusted_sim_inc",
+    ],
+)
+
+# Target selecting either simulation mode or hardware mode includes for the UAE
+# service library based on the value of SGX_SIM.
+cc_library(
+    name = "uae_service_select",
+    deps = select({
+        ":sgx_hw": [":uae_service_hw"],
+        "//conditions:default": [":uae_service_sim"],
+    }),
+)
+
+# A non-versioned, publicly-consumable target for the UAE service.
+cc_library(
+    name = "uae_service",
+    hdrs = ["include/sgx_uae_service.h"],
+    visibility = ["//visibility:public"],
+    deps = [":uae_service_select"],
+)
+
+cc_library(
