On 10/7/07, David Leimbach <[EMAIL PROTECTED]> wrote: > 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.
ron
