seL4 Foundation welcomes new member Penten
8 Feb
2021
8 Feb
'21
8:06 p.m.
Dear seL4 community, On behalf of the seL4 Foundation I’m please to welcome Penten Pty Ltd as our newest member. Penten is based in Canberra, Australia, and specialises in secure communications technology and artificial intelligence. Penten has been developing seL4-based products for a number of years, some of which are in daily use in multiple defence forces. Gernot Heiser Chairman, seL4 Foundation
1417
Age (days ago)
1417
Last active (days ago)
0 comments
1 participants
participants (1)
-
Announcements about seL4 -- low volume list