Sean Cross

It doesn't look like the logfiles include any sort of timestamp, so I can't tell. Furthermore, yosys cleans up its /tmp/yosys-abc-xxxxxx directory, so I can't look at the timestamps for...

This does seem very useful! Having a device able to introspect its own registers is frequently very handy. I do have some minor bikeshedding questions -- for example, should the...

There was a program that was presented at Latchup 2023 that I am having trouble finding now. It was a browser-based register explorer. When I checked before, it didn't support...

That's the one! I discovered https://github.com/SystemRDL/PeakRDL-svd/blob/main/docs/dev_notes.txt but there hasn't been any movement there in a few months...

I think the only thing that needs to be implemented is `info os processes`: ``` (gdb) info os processes [remote] Sending packet: $qXfer:osdata:read:processes:0,1000#fa [remote] Packet received: l\n1root/init 6,154rootplan9 --control-socket 5...

I see -- I thought "multiprocess" meant "inferior support", which seems to be mostly managed by the GDB client itself. That is, when debugging multiple concurrent processes, it's the job...

With https://github.com/daniel5151/gdbstub/pull/129 I'm able to switch processes. The hardest part is that `FAKE_PID` is encoded in lots of places and GDB wants the actual PID. When attaching to a new...

With the recent merge, I've created https://github.com/betrusted-io/xous-core/pull/360 which implements full support for GDB with Xous, including debugging processes in a live device. Switching processes is now possible, though without `info...

It's difficult to do that because the device has only one serial port so when debugging there is no other way to get errors out. The best I could do...

Good news on this front -- part of the problem was due to the fact that we were rewriting the process pagetables as part of every access, AND every access...