 +        "sdk/simulation/uae_service_sim/quoting_sim.cpp",
 +        "sdk/simulation/uae_service_sim/uae_service_sim.h",
 +        "sdk/simulation/urtssim/cpusvn_util.h",
++        "sdk/simulation/urtssim/cpusvn_util.cpp",
 +    ],
 +    hdrs = PSW_COMMON_HDRS,
 +    copts = PSW_COMMON_INCLUDES + [

+# 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"],
+    }),

 #endif
--- /dev/null
+++ BUILD
@@ -0,0 +1,1171 @@
+# linux-sgx is the Intel SGX SDK
+
+# "notice" licenses present:
