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
This project hosts the Renode simulation description, platform definition, and simulation models for customized components.