Congratulations David indeed and thanks all for your participation. June
On 23 Mar 2021, at 10:08 pm, Gernot Heiser <gernot@sel4.systems> wrote:
Congratulations David, and welcome to the seL4 Board!
And many thanks to the outgoing Board members for their great help in getting this off the ground: John Launchbury (Galois and ex-DARPA) Daniel Ptts (Ghost Locomotion)
The actual handover will be at the next Board meeting, soon after this week’s Annual Members Meeting.
Gernot
On 23 Mar 2021, at 21:49, Scott Nicholas <snicholas@linuxfoundation.org <mailto:snicholas@linuxfoundation.org>> wrote:
Congratulations to David Hardin (Raytheon), who has won the election for General Member representative of the Foundation. Thank you to all of the nominees. -- Scott A. Nicholas Vice President of Project Formation, The Linux Foundation Office: 617.564.3556 Cell: 617.645.3616 Skype: scott.sn.nicholas
-- Board mailing list -- board@sel4.systems To unsubscribe send an email to board-leave@sel4.systems