[seL4 Announce] seL4 Foundation welcomes new member Penten

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