4 ms·

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.