From mboxrd@z Thu Jan  1 00:00:00 1970
Message-ID: <8ccc8ba40710071349q4c42189dp69bbace0b99d0b2a@mail.gmail.com>
Date: Sun,  7 Oct 2007 22:49:39 +0200
From: "Francisco J Ballesteros" <nemo@lsub.org>
To: "Fans of the OS Plan 9 from Bell Labs" <9fans@cse.psu.edu>
Subject: Re: [9fans] Re: what about microkernel?
In-Reply-To: <3e1162e60710071328v6f3fa0e6oeaa62b4ecded120b@mail.gmail.com>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 7bit
Content-Disposition: inline
References: <fe8qt4$stp$1@sea.gmane.org>
	<05f3477826ed9392704c444db1b63212@terzarima.net>
	<3e1162e60710070918p7187dda4m9e1b738a761db419@mail.gmail.com>
	<13426df10710070930q652e0077ra705f33d232477c2@mail.gmail.com>
	<3e1162e60710071328v6f3fa0e6oeaa62b4ecded120b@mail.gmail.com>
Topicbox-Message-UUID: cc234efa-ead2-11e9-9d60-3106f5b1d025

That was the idea. Jochen Liedtke suggested that ukernels should not
be portable, just their interface. His ukernel was hand tuned for a particular
hw/compiler, afaik.

On 10/7/07, David Leimbach <leimy2k@gmail.com> wrote:
>
>
> On 10/7/07, ron minnich <rminnich@gmail.com> wrote:
> > On 10/7/07, David Leimbach <leimy2k@gmail.com> 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
> >
>
> Yep, it was pretty compiler specific back when I used it on my Power Macs,
> and may still be if we're talking about the Pistachio implementation.
>
> Darwin was also ported to it (Darbat -
> http://www.osnews.com/story.php/15162/Darbat-0.2-Released/
> ) also.
>
> Dave