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, email@example.com
seL4 Foundation, firstname.lastname@example.org
0433 880 571
Wed 9am-12pm Fri 9am-5pm