List overview
Download

Announce January 2024

announce@sel4.systems

1 participants
1 discussions

Start a nNew thread

seL4 features in the Linux Foundation’s 2023 Annual report
by Announcements about seL4 -- low volume list 29 Jan '24

29 Jan '24

seL4 features in the Linux Foundation’s 2023 Annual report! Find out more on the Linux Foundation website [0]. [0] https://www.linuxfoundation.org/hubfs/Reports/2023_lf_annual_report_122123a… --- Birgit Brecknell Project Coordinator, seL4 Foundation birgit(a)sel4.systems<mailto:birgit@sel4.systems> birgit.brecknell(a)unsw.edu.au<mailto:birgit.brecknell@unsw.edu.au> Mon 9am-5pm Wed 2pm-5pm Fri 9am-5pm

1 0