I have added more peripherals to my Murax Arduino system.
It now has peripheral corresponding to all the Arduino core functions including pulseIn, shiftIn, shiftOut. It has the BlackIce buttons and switches configured as GPIO pins. I also add a hex seven segment display peripheral.
I have added i2c, but don't currently understand the implementation well enough to use it.
The SpinalHDL author is changing SaxonSoc to have a plug-in architecture (like the VexRiscv CPU), so that it will be a lot easier to configure different microcontroller configuration. I will move to that when it is more stable.
Here is the system using the PulseIn peripheral to drive a Ping sensor and displaying the distance on a seven segment display: