4 ms·
I wonder if someone is working on building an OS around seL4 now that it's open sourced? Obviously it would have to be designed differently than HURD is, but i
by Symmetry 12y ago
I wonder if someone is working on building an OS around seL4 now that it's open sourced? Obviously it would have to be designed differently than HURD is, but it sounds like it would be a nifty project.
- Symmetry 12y agoA randomish additional thought. It seems like Arrakis[1]-like system is much more natural since then your database and your filesystem are both user level processes who have been given access to different hard drives. And your webserver and normal networking process can be different processes that have been given access to different channels on your ethernet connection. Of course I'm just a robotics engineer, this is all woolly speculation. [1]https://www.usenix.org/conference/osdi14/technical-sessions/presentation/peter https://www.usenix.org/conference/osdi14/technical-sessions/...