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.
Chairman, seL4 Foundation