https://arxiv.org/abs/2501.06234
LionsOS, an operating system for security- and safety-critical embedded systems. LionsOS is based on the formally verified seL4 microkernel and designed with verification in mind. It uses a static architecture and features a highly modular design driven by strict separation of concerns and a focus on simplicity. We demonstrate that LionsOS achieves excellent performance on system-call intensive workloads.
The text accompanying the link is from the project page, so we don’t know what you want to tell us about this. Are there specific ideas you want to bring to our attention?
At cursory glance it sounds just like Genode, except not as mature, and might be expected to take a considerable time to get to a similar point. Genode has been in continuous development over a decade and is beginning to be quite promising. I think Haiku can learn a lot from Genode as discussed in numerous other threads.
Haiku has been in development for two decaoes and is starting to look promising. It is not the time to start considering major rearchitectures, I’d say?
True, but I was making the point this LionsOS was immature in comparison with Genode -which seems it direct rival - not against Haiku.
And learning from an upstart is not the same as replacement with. It is a win-win situation. And if Haiku-on-Genode (also discussed in linked thread) becomes viable, it enlarges the utility for Haiku apps.
I just posted it here as information, inspiration, …, hence the off-topic category. By no means I’m saying this is better, or worse, than Haiku.
Here is a video with a short overview of this experimental OS:
I’m glad that such projects exist. I like the technical ideology on which the project is based.