sel4 Foundation Election for General Member Representative
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
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> 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
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
participants (3)
-
Gernot Heiser -
June Andronick (Gmail) -
Scott Nicholas