News for hackers. Stuff that matters.

A comment on Porting the GNU Hurd to the L4 Microkernel (2003) [pdf]. Parent comment

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!
[ Parent | on HN ]
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.

[ Parent | on HN ]