Re:Porting the GNU Hurd to the L4 Microkernel (2003) [pdf]
by fithisux on Friday July 17, 2015 @04:07AM
(#9901716)
I thought that this plan was abandoned.
[ Parent
| on HN ]
Re:Porting the GNU Hurd to the L4 Microkernel (2003) [pdf]
by jojo3000 on Friday July 17, 2015 @05:59AM
(#9901963)
Which is very unfortunately. It would be nice to have Hurd running on seL4!
Re:Porting the GNU Hurd to the L4 Microkernel (2003) [pdf]
by vezzy-fnord on Friday July 17, 2015 @09:32AM
(#9902611)
L4 was deemed too low-level to implement a proper object-capability architecture, so it was canned.
GNU Mach is here to stay.