With four new Premium Members joining the seL4 Foundation during the past few weeks, we now welcome their representatives on the seL4 Board. The new Board Members are: Dr. Feng Zhou representing Horizon Robotics Ian Xu representing Li Auto Dr Matthew P. Grosvenor representing Jump Trading Qiyan Wang represents NIO More at https://sel4.systems/news.pml.html For the complete seL4 Board see https://sel4.systems/Foundation/Board.html Welcome aboard, Feng, Ian, Matt and Qiyan! Gernot