List overview
Download

Announce December 2022

announce@sel4.systems

1 participants
1 discussions

Start a nNew thread

seL4 features in the Linux Foundation’s 2022 Annual report
by Announcements about seL4 -- low volume list 14 Dec '22

14 Dec '22

We are pleased to announce that seL4 features in the Linux Foundation’s 2022 Annual report. For more information, visit https://sel4.systems/news/2022 --- Dr. Birgit Brecknell Project Officer Trustworthy Systems, UNSW, birgit.brecknell(a)unsw.edu.au<mailto:birgit.brecknell@unsw.edu.au> seL4 Foundation, birgit(a)sel4.systems<mailto:birgit@sel4.systems> 0433 880 571 Mon 9am-5pm Wed 9am-12pm Fri 9am-5pm

1 0