I want to create a FuSa certifiable embedded System based on Rust - open source&hardware. Other companies are trying this already such as Sonair. There are already a few projects working on making this easier e.g. the toolchain Ferrocene.

I would love to exchange with other people on this matter, especially on all parts outside the domain logic such as the OS, available HALs, libraries etc. RTIC or embassy or both? Let's discuss. My personal background is in embedded systems and safety - but not much in Rust. Main contact: gluttony, DECT: 65202, telegram(preferred): @deabdeef