I wish someone would rewrite the QNX kernel, which is tiny, in Rust. No one seems to have saved a copy of the sources before they went proprietary with the Blackberry acquisition.
QNX was never open source, so I'm not sure how that would have been legally feasible.
It's a shame that a high-quality microkernel OS like QNX has never been made, though, except as proprietary commercial products. QNX has by most accounts been quite successful (the , but it's still a niche product.
For a few years, after the first acquisition but before the second by Blackberry, the source was online. Not as free software, but you could look at it.
I used to tell the QNX sales rep, "You worry about your product being pirated. Worry more about it being ignored." The major customers are big industrial firms and auto companies, and if they use it, you can find them. Besides, they want the support contract.
