seL4 Foundation provides interim endorsement for HENSOLDT Cyber
22 Feb
2021
22 Feb
'21
10:49 p.m.
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
1368
Age (days ago)
1368
Last active (days ago)
0 comments
1 participants
participants (1)
-
Announcements about seL4 -- low volume list