seL4 Foundation endorses service providers
16 Feb
2021
16 Feb
'21
3:50 p.m.
It is a pleasure to announce that the seL4 Foundation has commenced providing interim endorsement for trusted service providers for seL4. These may apply to consulting and development services as well as for training. In a first step, the Foundation has given interim endorsement to the following trusted service providers (in the order of approval): • DornerWorks Ltd • Breakaway Consulting Pty Ltd • Cog Systems Inc Interim endorsement is intended to lead to full certification; the Foundation will work with interim endorsees and the general membership on developing certification schemes. More detail is available on the Foundation site: https://sel4.systems/Foundation/Services/ Gernot Chairman, seL4 Foundation
1393
Age (days ago)
1393
Last active (days ago)
0 comments
1 participants
participants (1)
-
Announcements about seL4 -- low volume list