Subject: Re: [Re] Anyone working on an L4 port?
To: None <tech-ports@netbsd.org>
From: Valeriy E. Ushakov <uwe@stderr.spb.ru>
List: tech-ports
Date: 07/03/2007 16:41:13
Bhavpreet Singh <bhavpreet@gmail.com> wrote:

> Is anyone working/interested in L4::pistachio port of NetBSD? I
> would be very interested in working on it.

As far as I know - nobody works on that.

BTW, do you mean "native" L4 port or using afterburner?

SY, Uwe
-- 
uwe@stderr.spb.ru                       |       Zu Grunde kommen
http://snark.ptc.spbu.ru/~uwe/          |       Ist zu Grunde gehen