From mboxrd@z Thu Jan  1 00:00:00 1970
Message-ID: <0a6c61e6901187cd27b041ce2a1cb19b@quanstro.net>
To: 9fans@cse.psu.edu
Subject: Re: [9fans] Re: what about microkernel?
From: erik quanstrom <quanstro@quanstro.net>
Date: Sun,  7 Oct 2007 14:05:49 -0400
In-Reply-To: <13426df10710070930q652e0077ra705f33d232477c2@mail.gmail.com>
MIME-Version: 1.0
Content-Type: text/plain; charset="US-ASCII"
Content-Transfer-Encoding: 7bit
Topicbox-Message-UUID: cbebad06-ead2-11e9-9d60-3106f5b1d025

>> 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