Subject: [Re] Anyone working on an L4 port?
To: None <tech-ports@netbsd.org>
From: Bhavpreet Singh <bhavpreet@gmail.com>
List: tech-ports
Date: 07/03/2007 16:01:58 
Hi all,

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

P.S. I am a first time NetBSD porter, any help or pointers will be welcome.

-bhav