seL4 features in the Linux Foundation’s 2022 Annual report
14 Dec
2022
14 Dec
'22
9:33 a.m.
We are pleased to announce that seL4 features in the Linux Foundation’s 2022 Annual report. For more information, visit https://sel4.systems/news/2022 --- Dr. Birgit Brecknell Project Officer Trustworthy Systems, UNSW, birgit.brecknell@unsw.edu.aumailto:birgit.brecknell@unsw.edu.au seL4 Foundation, birgit@sel4.systemsmailto:birgit@sel4.systems 0433 880 571 Mon 9am-5pm Wed 9am-12pm Fri 9am-5pm
745
Age (days ago)
745
Last active (days ago)
0 comments
1 participants
participants (1)
-
Announcements about seL4 -- low volume list