We’re pleased to announce that DARPA, in conjunction with Intelligent Automation Inc. and DornerWorks, has created a seL4 Center of Excellence (CoE). The CoE will serve as a USA-based clearing house and ecosystem hub for seL4-related development efforts in the USA. For further information, please contact: Nick Evancich nevancich@i-a-i.com Gernot