|
|
Mailing lists with L4-related discussions:
| Mailing List | Topic | |
| l4-hackers@os.inf.tu-dresden.de | Discussions about the L4 microkernel family and software running on top of L4 |
[info][archive] |
| l4ka@ira.uka.de | All L4Ka related issues |
[info][archive] |
| developer@okl4.org | Issues related to OKL4 |
[info][archive] |
| l4-hurd@gnu.org | Discussion about L4 port of GNU Hurd |
[info][archive] |
|