
28 Jan
2024
28 Jan
'24
11:09 p.m.
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@sel4.systems<mailto:birgit@sel4.systems> birgit.brecknell@unsw.edu.au<mailto:birgit.brecknell@unsw.edu.au> Mon 9am-5pm Wed 2pm-5pm Fri 9am-5pm