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.systemsmailto:birgit@sel4.systems birgit.brecknell@unsw.edu.aumailto:birgit.brecknell@unsw.edu.au Mon 9am-5pm Wed 2pm-5pm Fri 9am-5pm