Summary
General L4 discussions
This list is intended for discussions about the L4 microkernel family and software running on top of L4. This is a public list, all content, including sender names, will be public.
To contact the list owners, use the following email address: l4-hackers-owner@os.inf.tu-dresden.de
Subscription / Unsubscription
To subscribe or unsubscribe from this list, please log in first. If you have not previously logged in, you may need to set up an account with the appropriate email address.
You can also subscribe without creating an account. If you wish to do so, please use the form below.