 +        ":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(

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

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