3 ms·

I thought that this plan was abandoned.

• e1ven 11y ago
  The link is from August 2003.
• jojo3000 11y ago
  Which is very unfortunately. It would be nice to have Hurd running on seL4!
  • vezzy-fnord 11y ago
    L4 was deemed too low-level to implement a proper object-capability architecture, so it was canned. GNU Mach is here to stay.