[seL4 Announce] seL4 Foundation provides interim endorsement for HENSOLDT Cyber

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