Sponsor the seL4 summit in Sydney!
![](https://secure.gravatar.com/avatar/96d1d7bba24df545b52cd845d16c75be.jpg?s=120&d=mm&r=g)
7 Jun
2024
7 Jun
'24
2:01 a.m.
Join Proofcraft and UNSW as a sponsor of this 2024 edition, and support the seL4 technology, like sponsors of last editions did: NIO, Kry10, Collins Aerospace, Technology Innovation Institute, DornerWorks, Horizon Robotics and Xcalibyte. https://events.linuxfoundation.org/sel4-summit/sponsor/ https://sel4.systems/Foundation/Summit/2024/#summit-sponsors
94
Age (days ago)
94
Last active (days ago)
0 comments
1 participants
participants (1)
-
Announcements about seL4 -- low volume list