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