NetBSD/L4 port?
"Cordula's Web" <[email protected]> Mon, 27 Oct 2003 12:59:09 +0100 (CET)
| Newsgroups | gmane.os.netbsd.devel.ports |
|---|---|
| Message-ID | <[email protected]> |
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/