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