Summary
A list for being notified of seL4 RFCs (read-only)
Subscribe to this list for notifications about RFCs and progress in converting RFCs into action.
To contact the list owners, use the following email address: rfc-owner@sel4.systems
Archives
Subscription / Unsubscription
To subscribe or unsubscribe from this list, please sign in first. If you have not previously signed 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.