23 Mar
2021
23 Mar
'21
10:08 p.m.
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