No public description
PiperOrigin-RevId: 641260958
Change-Id: I8e7ceeb913ffe72a12e989d6e327e4d5271a0cf7
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 = [