Use upstream CHERIoT debug module #70
Description
Instead of Samuel's fork, we should use a patched version of: https://github.com/CHERIoT-Platform/cheriot-dbg-module
{{ message }}
Instead of Samuel's fork, we should use a patched version of: https://github.com/CHERIoT-Platform/cheriot-dbg-module