MINIX 3 or OC.L4 would be candidates. QNX could use it as an extra differentiator. For now, the only things like that that I recall off top of head are Muen don

MINIX 3 or OC.L4 would be candidates. QNX could use it as an extra differentiator. For now, the only things like that that I recall off top of head are Muen done with provably safe SPARK language and Redox done in Rust language. https://muen.sk/ https://muen.sk/ https://redox-os.org/ https://redox-os.org/ There's also a project to essentially wrap seL4 in Rust to build apps on top of it: https://news.ycombinator.com/item?id=10848890 https://news.ycombinator.com/item?id=10848890