Hello world :-) A friend hinted on new Cloud-V startup, still at early stage, that plan/offer several hardware platforms such as SiFive, StarFive, Milk-V, QEMU, and various use cases such as CI/CD, firmware development, etc..
https://cloud-v.co/ When you click Pricing on the site it is possible to register for free testing which I did and my request is now under review :-) Maybe this could be included in our CI/CD for NuttX builds? :-) Have a good day :-) Tomek -- CeDeROM, SQ7MHZ, http://www.tomek.cedro.info