seL4 features in the Linux Foundation’s 2023 Annual report
29 Jan
2024
29 Jan
'24
9:09 a.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.systemsmailto:birgit@sel4.systems birgit.brecknell@unsw.edu.aumailto:birgit.brecknell@unsw.edu.au Mon 9am-5pm Wed 2pm-5pm Fri 9am-5pm
333
Age (days ago)
333
Last active (days ago)
0 comments
1 participants
participants (1)
-
Announcements about seL4 -- low volume list