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