Dear seL4 Board,
We need to hold our first annual General Meeting, with the first
elections. The timeline and process needs a vote from the Board, which
I hereby ask you by email. Please approve or let me know of any
questions, objections or requests, by Feb 25th (if I don't hear back
from you by then, I'll assume you have no objection and I will go
ahead).
Please see below the proposed process and timeline, formulated as a
draft email that will go to members. Date of GM will be 25th (US,
Europe)/26th (Australia) of Feb.
In terms of what it means for the board:
- Gernot, Gerwin and June will keep their seats as per their 5y
guaranteed seat from creation, as leaders of the technology.
- Sascha will keep his seat as per HC's special 3y guaranteed seat
from 18 March 2020, in recognition of past contributions.
- John's and Dan's seats will be 'released', and replaced by the one
seat voted by General Members as a class.
Let me know if you have any questions or any further comments.
Cheers
June
---
TO SEND before FEB 26th to have 4 weeks notice
To: seL4 members
CC: seL4 board
Subject: (seL4 Foundation) First GM and call for nominations
Dear members of the seL4 Foundation,
Time is up for our first annual General Meeting (GM), which will
include the first election of board members.
The GM will be (virtually) held on (invitation and agenda to follow):
Fri 26th March 8am- 9am AEST (Sydney)
Thu 25th March 10pm-11pm CEST (Munich)
Thu 25th March 5pm- 6pm US EST (Grand Rapids)
Thu 25th March 4pm- 5pm US CST (Minneapolis, Chicago)
Thu 25th March 2pm- 3pm US PST (Mountain View, Portland)
As a reminder [0], premium members have a guaranteed seat at the board and
general members vote as a class for 1 representative:
"Each General Member is entitled to nominate a candidate for election
to represent General Members on the seL4 Board. General Members,
acting as a class, will then elect 1 voting member to the seL4 Board
at each annual general meeting. The seL4 Board determines the election
process."
Current membership:
https://sel4.systems/Foundation/Membership.htmlWe therefore hereby **call for nominations of representative for the
general members class**, according to the following timeline and
process:
- *nomination period* (2 weeks): from now until *March 12th*: each
general member can nominate a representative by sending the name of
the nominee and a small accompanying paragraph, to
foundation@sel4.systems. On March 15th we will send the list of all
nominations to all members. If we have received only 1 nomination,
the nominee will be automatically voted in. Otherwise we will
proceed to the voting period.
- *voting period* (1 week): each voting member (general and premium)
can cast 1 vote by sending an email, by March 22nd, with the name of
their vote to
snicholas@linuxfoundation.org (The Linux Foundation
will collect votes to maintain secrecy and will communicate only the
winning nominee).
The elected representative will be announced to all members by email
prior to the GM.
Any questions: let us know.
Thanks all and looking forward to this new step of the Foundation's
history!
June, on behalf of the seL4 board and chair
[0] Governance documents on:
https://sel4.systems/Foundation/Governance/