Linked by Thom Holwerda on Mon 19th Jun 2006 17:49 UTC, submitted by Willis
Thread beginning with comment 135358
To read all comments associated with this story, please click here.
To read all comments associated with this story, please click here.




Member since:
2005-09-22
So now he's using linux on the L4 microkernel. What kernel was he using with what I'm assuming is the FreeBSD userland? The FreeBSD kernel is not exactly what one would call a microkernel (quite the contrary actually). Did he borrow a Mach kernel from another project (HURD, Darwin, etc.), write one from the specs (I doubt), or what?