  bool is_valid_sp(uintptr_t sp);
 --- /dev/null
 +++ BUILD
-@@ -0,0 +1,1297 @@
+@@ -0,0 +1,1305 @@
 +# linux-sgx is the Intel SGX SDK
 +
 +load(

+#include "common/inc/sgx_urts.h"  // IWYU pragma: export
+
+#endif  // _INCLUDE_SGX_URTS_H_

+)
+
+cc_library(
+    name = "external_rdrand",
+    srcs = [
+        "external/rdrand/src/config.h",
+        "external/rdrand/src/rdrand.c",
+        "external/rdrand/src/rdrand.h",
+    ],
+    hdrs = ["external/rdrand/rdrand.h"],
+    copts = ["-Iexternal/linux_sgx/external/rdrand/src"],
+)
+
+cc_library(
+    name = "uae_service_sim",
+    srcs = PSW_COMMON_SRCS + [
+        "common/src/sgx_read_rand.cpp",
+        "psw/ae/common/se_sig_rl.cpp",
+        "sdk/simulation/uae_service_sim/licensing_sim.cpp",
+        "sdk/simulation/uae_service_sim/linux/platform_service_sim.cpp",
