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/.
Dr. Birgit Brecknell
Trustworthy Systems, UNSW, birgit.brecknell(a)unsw.edu.au
seL4 Foundation, birgit(a)sel4.systems
0433 880 571