No public description

PiperOrigin-RevId: 641260958
Change-Id: I8e7ceeb913ffe72a12e989d6e327e4d5271a0cf7

cheriot/BUILD

diff --git a/cheriot/BUILD b/cheriot/BUILD
index 45446af..0193342 100644
--- a/cheriot/BUILD
+++ b/cheriot/BUILD
@@ -321,6 +321,25 @@
         "cheriot_renode_register_info.cc",
         "cheriot_renode_register_info.h",
     ],
+    # List the symbols for the functions called by renode as undefined.
+    linkopts = [
+        "-u construct",
+        "-u construct_with_sysbus",
+        "-u connect",
+        "-u connect_with_sysbus",
+        "-u destruct",
+        "-u get_reg_info_size",
+        "-u get_reg_info",
+        "-u load_elf",
+        "-u read_register",
+        "-u write_register",
+        "-u read_memory",
+        "-u write_memory",
+        "-u reset",
+        "-u step",
+        "-u set_config",
+        "-u set_irq_value",
+    ],
     linkshared = True,
     linkstatic = True,
     deps = [