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
Dear all, Welcome David, it’s a pleasure to work with you in the future. The proposed time works fine for me. Best Regards, Sascha -----Ursprüngliche Nachricht----- Von: Gernot Heiser <gernot@unsw.edu.au> Gesendet: Montag, 29. März 2021 02:27 An: seL4 Board <board@sel4.systems> Betreff: [Board] Board Meeting on 13/14 April 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 -- Board mailing list -- board@sel4.systems To unsubscribe send an email to board-leave@sel4.systems
participants (2)
-
Gernot Heiser -
Sascha Kegreiß