Hacker News new | ask | show | jobs
by jojo3000 3989 days ago
Which is very unfortunately. It would be nice to have Hurd running on seL4!
1 comments

L4 was deemed too low-level to implement a proper object-capability architecture, so it was canned.

GNU Mach is here to stay.