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