February 2021 - Announce - lists.sel4.systems

seL4 Foundation provides interim endorsement for HENSOLDT Cyber
by Announcements about seL4 -- low volume list 23 Feb '21

23 Feb '21

Dear seL4 community, I’m please to announce that the seL4 Foundation has extended Interim Endorsement as Trusted Service Provider to HENSOLDT Cyber, for consulting and development services for seL4-based systems. About HENSOLDT Cyber services and products: https://sel4.systems/Foundation/Services/hc.pml.html About the seL4 Foundation Interim Endorsement program: https://sel4.systems/Foundation/Services/endorsement.pml.html Gernot Chairman, The seL4 Foundation

1 0

seL4 Foundation endorses service providers
by Announcements about seL4 -- low volume list 16 Feb '21

16 Feb '21

It is a pleasure to announce that the seL4 Foundation has commenced providing interim endorsement for trusted service providers for seL4. These may apply to consulting and development services as well as for training. In a first step, the Foundation has given interim endorsement to the following trusted service providers (in the order of approval): • DornerWorks Ltd • Breakaway Consulting Pty Ltd • Cog Systems Inc Interim endorsement is intended to lead to full certification; the Foundation will work with interim endorsees and the general membership on developing certification schemes. More detail is available on the Foundation site: https://sel4.systems/Foundation/Services/ Gernot Chairman, seL4 Foundation

1 0

seL4 Foundation welcomes new member Penten
by Announcements about seL4 -- low volume list 08 Feb '21

08 Feb '21

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

1 0