Sponsor the seL4 summit in Sydney!
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
205
Age (days ago)
205
Last active (days ago)
0 comments
1 participants
participants (1)
-
Announcements about seL4 -- low volume list