L4hq.org
Home of the L4 community
         Home )   About L4hq )  
 Mailing Lists
 
Mailing lists with L4-related discussions:
Mailing ListTopic 
l4-hackers@os.inf.tu-dresden.deDiscussions about the L4 microkernel family and software running on top of L4 [info][archive] 
l4ka@ira.uka.deAll L4Ka related issues [info][archive] 
developer@okl4.orgIssues related to OKL4 [info][archive] 
l4-hurd@gnu.orgDiscussion about L4 port of GNU Hurd [info][archive]