Hi Pawel,
I had email from Andrew Murray the other day on the impressive work you're doing at The Good Penguin to connect your embedded board farm to GitHub workflows.
I mentioned we've done a little here at Dynamic Devices on CI for the Yocto layers we maintain (ref: https://www.youtube.com/watch?v=TsAcxd_acJI)
We were down at the Digital Catapult yesterday talking about the new meta-morello layer and it was extremely well received.
This got me thinking and I seem to remember you mentioned you were putting your Morello board on the Internet? Did you do this?
Maybe you've already looked at this but I was pondering whether we could connect a GitHub workflow to a build system artifact folder which we could then expose as a USB gadget device.
This could then be made to look to the Morello Hardware like a connected USB drive, I think.
And thus we could enable people to remotely build and test and experiment with real CHERI enabled hardware?
In particular one of the really interesting ideas mentioned to me yesterday was that even businesses without access to production CHERI silicon could run and test their products on a CHERI enabled development board, thus ensuring a level of enhanced security on their non-CHERI production hardware. A sort of "Tested with CHERI" stamp.
Let me know if any of this is of interest!
Cheers,
Alex