April 2021 - Announce - lists.sel4.systems

Release freeze
by Announcements about seL4 -- low volume list 30 Apr '21

30 Apr '21

Hi all, 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. Happy hacking, Trustworthy Systems

1 0

ETH Zurich joins the seL4 Foundation
by Announcements about seL4 -- low volume list 28 Apr '21

28 Apr '21

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! Gernot

1 0

seL4 Crowdsourcing Portal
by Announcements about seL4 -- low volume list 15 Apr '21

15 Apr '21

Dear seL4 community, It is a pleasure to announce that seL4 now has a crowdsourcing portal, using the Linux Foundation’s LFX platform. Please help making seL4 stronger by donating, and encouraging others to do the same! https://crowdfunding.lfx.linuxfoundation.org/projects/e94c998c-bac2-4224-b0… Gernot

1 0

Operating System based on seL4.
by Announcements about seL4 -- low volume list 09 Apr '21

09 Apr '21

Hello, Which operating systems are based on seL4 Microkernel? Any home usage? Thanks.

1 0

release window
by Announcements about seL4 -- low volume list 01 Apr '21

01 Apr '21

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

1 0