1 Apr
2021
1 Apr
'21
5:03 p.m.
Hi all, 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. Happy hacking, Trustworthy Systems
1361
Age (days ago)
1361
Last active (days ago)
0 comments
1 participants
participants (1)
-
Announcements about seL4 -- low volume list