OpenOCD has a command `riscv dmi_write address value` which we can trigger from GDB using `monitor` I can't seem to find anything similar in JLinkGDBServer. They have the API `int JLINK_RISCV_DMI_WriteReg(U32 RegAddr, U32 Data);` which can be called from the script but can't find a way to trigger it on demand from GDB Any ideas?