As you’re probably aware, the seL4 Foundation is moving into its own entity, for strategic reasons. As discussed and agreed with the LF management team, we will process this transition over a year: the current members will not renew their memberships for 2026 and we will use up any remaining funds we have at LF within a year.

This is therefore a heads-up that you should start receiving a number of cancellation notices from all seL4 Foundation members. I’ll keep track of these until completion, but if you have any questions, please do let me know.

Thanks for your support.

Kind regards,

June