A few days ago a blog post was finally published I had waited for. While the post is AI generated and uses a peculiar variant of English (as far as I can tell) the content is exciting.
Let me summarize the most exciting points:
Same binary, AoT compiled for cortex-M and RV32IMC (->synth)
less than 8kB in flash, much less RAM
The compiled wasm component contains an operating system and a demo app
The device driver & scheduler is a wasm component
It predicts that faster than native execution speed is achievable using theorem deduction across components (personally I would be fine with achieving identical speed)
DMA is coming soon
A component to core module converter called meld is part of the deployment (and might enable running components on any wasm runtime)
All written in Rust :crab:
It links to a simulation video of a drone controlled by a wasm components (keep tuned for a real live demo)
This is an ecosystem of tools targeting safety qualification
Not a single line of code is human generated (as far as I know), some parts have seen human review - but it still works
Christof Petig (Jul 09 2026 at 23:53):