The deadline for the release window has closed.
We are now making sure our internal CI builds are green and then getting ready for a release.
We anticipate a release will occur within the next few weeks.
Dear seL4 community,
With great pleasure I’m announcing that my alma mater ETH Zurich has joined the Foundation as an Associate Member. Looking forward to their future engagement with the seL4 Foundation!
It's time for the next release of seL4 and associated frameworks.
This email is to announce a release window closing on 30/04/2021.
If you or your organization have any changes you would like to be in the upcoming release they will need to be reviewed and merged before this date.