tech-ports: NetBSD/L4 port?

Subject: NetBSD/L4 port?
To: None <tech-ports@netbsd.org>
From: Cordula's Web <webmaster@cordula.ws>
List: tech-ports
Date: 10/27/2003 12:59:09

Is any group working on a port of NetBSD to L4 (http://l4ka.org/)?
A port to a microkernel would be kinda cool. Something like L4Linux?

Thanks.

-- 
Cordula's Web. http://www.cordula.ws/