[seL4 Announce] 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 https://sel4.systems/Foundation/Services/.

cheers

Birgit

---

Dr. Birgit Brecknell

Project Officer

Trustworthy Systems, UNSW, birgit.brecknell@unsw.edu.au

seL4 Foundation, birgit@sel4.systems

0433 880 571

Mon 9am-5pm

Wed 9am-12pm Fri 9am-5pm