
Dear seL4 Board, First of all, let me again welcome David Hardin from Raytheon to the Board, who comes with a lot of relevant experience, as explained at last week’s Members Meeting. Let me also again thank our outgoing Board members, John Launchbury and Daniel Potts for their great help in getting the Foundation off the ground. I have not yet removed John and Dan from the Board mailing list, as I’d like to invite them to attend the next meeting as observers. We need a meeting of the Board in the very near future, for a number of reasons, including approving a new budget so we can spend the additional money that came in since the last approved budget. Scheduling is tricky for a number of reasons, and the only time that seems to work from our side is Tue 13 April at 21:00 UTC, which is Wed 14 April 07:00 AEST Tue 13 April 23:00 CEDT Tue 13 April 16:00 CDT I’ll send out a calendar invite shortly, but please let me know ASAP if this really doesn’t work for you. Thanks, Gernot