Announcements about seL4 -- low volume list

This is where announcements about the open source seL4 will be made. It is a moderated list.

If you attempt to join, a confirmation email will be sent to your address. Some spam filters may classify the confirmation email as spam, so check your junkmail folders.

To contact the list owners, use the following email address:



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.

Log In

You can also subscribe without creating an account. If you wish to do so, please use the form below.