(seL4 Foundation) IMPORTANT: 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.html <https://sel4.systems/Foundation/Membership.html> We 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 <mailto: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 <mailto: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/ <https://sel4.systems/Foundation/Governance/>
Apologies if you received this multiple times, just resending to another list of contact for members of the seL4 Foundation. I hope it has now reached all the relevant people. Please do check within your organisation that who you think should be aware of the GM and the vote has received this email. Thanks! June
Begin forwarded message:
From: "June Andronick (seL4 Foundation)" <june@sel4.systems> Subject: (seL4 Foundation) IMPORTANT: first GM and call for nominations Date: 26 February 2021 at 3:09:11 pm AEDT To: admin-contacts@sel4.systems, tech-contacts@sel4.systems Cc: board@sel4.systems
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.html <https://sel4.systems/Foundation/Membership.html>
We 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 <mailto: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 <mailto: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/ <https://sel4.systems/Foundation/Governance/>
Friendly reminder that each general member can nominate a representative to the seL4 Foundation board by March 12th, ie by *this Friday*:
- *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 <mailto: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.
If you have any questions, let me know! Cheers June
On 26 Feb 2021, at 3:09 pm, June Andronick (seL4 Foundation) <june@sel4.systems> wrote:
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.html <https://sel4.systems/Foundation/Membership.html>
We 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 <mailto: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 <mailto: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/ <https://sel4.systems/Foundation/Governance/>
I will be the Penten nominee Regards Merik On 10 Mar 2021, at 08:37, June Andronick (seL4 Foundation) <june@sel4.systems> wrote: Friendly reminder that each general member can nominate a representative to the seL4 Foundation board by March 12th, ie by *this Friday*: - *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<mailto: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. If you have any questions, let me know! Cheers June On 26 Feb 2021, at 3:09 pm, June Andronick (seL4 Foundation) <june@sel4.systems<mailto:june@sel4.systems>> wrote: 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.html We 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<mailto: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<mailto: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/ Message protected by MailGuard: e-mail anti-virus, anti-spam and content filtering. http://www.mailguard.com.au/mg Report this message as spam<https://console.mailguard.com.au/ras/207wyINWho/38GuX9iIYLUdIX1ivnlFjP/1.3> -- Message protected by MailGuard: e-mail anti-virus, anti-spam and content filtering.http://www.mailguard.com.au/mg
participants (2)
-
June Andronick (seL4 Foundation) -
Merik Karman