>> It's "open sourced" now, as of a few weeks ago. >> >> Ever looked at the L4 family of microkernels? >> > yep, I could never get them to build on red hat. My mistake, using red > hat, but ... long story.
after looking at the code, i didn't try to compile it. the version i looked at was c++ and seemed much more complicated than the claimed handful of system calls. - erik
