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