tree 27151695bec925a9c68f17b52e37e7c61106a3d3
parent d9196f674fb4dc88c7ba15d499777a8db2d4c4e2
author Sam Leffler <sleffler@google.com> 1725993830 -0700
committer Sam Leffler <sleffler@google.com> 1725994273 -0700

sencha/bancha: fix gdb server support to track upstream changes

Note this only enables the renode service to run; gdb functionality is
still missing for CHERIoT.

Change-Id: I17e4183a62d7c78afc1a7c931bcde924b134f6ee