Interim endorsement for Kry10 as a trusted service provider

Dear seL4 Community,

On behalf of the seL4 Foundation I’m pleased to announce that we have awarded interim endorsement to Kry10 as a Trusted Service Provider. More information on their services can be found on Services | seL4.


1 Like