@Kensan Is this of any interest for you? https://github.com/riscv/riscv-sbi-doc/blob/master/riscv-sbi.md
If blog post by Hillel Wayne about formal verification has piqued your interest, check out last year‘s FOSDEM talk by Yannick Moy on SPARK (full disclosure: Muen is also featured :)
„SPARK Language: Historical Perspective & FOSS Development“
So @DesChips made a thing that got featured on the interwebs: running Ada on an Risc-V softcore (FPGA):
@cynicalsecurity You really should! Feel free to pester me with questions (which I will then forward to @DesChips) hehe Consider that you would be running in a different direction than seemingly „everybody“ else as the Rust hype is ongoing.
Also, you can use the shiny new learning platform by AdaCore so you don’t need to install the toolchain etc:
GEneric Sprite and Tile Engine (GESTE) is a 2D game engine for micro-controllers written in Ada by @DesChips .
This video shows three example games running on the Numworks calculator, which is an ARM Cortex-M4 at 1000 MHz:
Source (BSD license):
The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!