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.
cheers
Birgit
1 Like