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> 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