List overview
Download

Announce January 2022

announce@sel4.systems

1 participants
1 discussions

Start a nNew thread

Interim endorsement for Kry10 as a trusted service provider
by Announcements about seL4 -- low volume list 31 Jan '22

31 Jan '22

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(a)unsw.edu.au seL4 Foundation, birgit(a)sel4.systems 0433 880 571 Mon 9am-5pm Wed 9am-12pm Fri 9am-5pm

1 0