- Board - lists.sel4.systems

sel4 Foundation Election for General Member Representative
by Scott Nicholas 24 Mar '21

24 Mar '21

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

3 2

(seL4 Foundation) please check GM pre-material (by Thy 18th please)
by June Andronick (seL4 Foundation) 24 Mar '21

24 Mar '21

Dear board, Please find attached a proposed agenda for the GM together with some of the material that I would like to share with all attendees of the GM about 1 week before the meeting, so people can come prepared. Please comment/approve/object/amend as you see fit. Any feedback welcome. The earlier the better, and at the latest Thu 18th 9am Sydney time please (that’s sometime Wed 17th for most of you), so I can compile everything on my Thursday. Let me know if you need more time. I still have to work on the outreach update and will need a budget update form you Dan. Any questions let me know! Many thanks! June

4 6

(seL4 Foundation) *Please vote by March 22nd* for a General Member representative
by June Andronick (seL4 Foundation) 19 Mar '21

19 Mar '21

Hi all, The nomination period has now closed and we are in the voting period, *due March 22nd* (AOE). I am pleased to say that we have received 4 nominations for the seat representing General Members at the seL4 Foundation, see below. Now each general member [*] can cast 1 vote by sending an email, by March 22nd, with the name of their vote to snicholas(a)linuxfoundation.org (The Linux Foundation will collect votes to maintain secrecy and will communicate only the winning nominee). [*] there was a mistake in my earlier email saying that premium members can also vote, but the charter says that general members vote for their representative (which makes sense). Note: if several people from the same organisation receive this email, please ensure you only cast 1 vote for your organisation. If you have any questions, let me know. Thanks! June Nominations to represent General Members at the seL4 Foundation board (in alphabetical order on last name): - David Hardin, from Raytheon, Info on: http://loonwerks.com/people/david-hardin.html - Merik Karman, from Penten - Daniel Potts, on behalf of Ghost Locomotion. "Myself and Ghost are keen to continue to support the growth of the seL4 Foundation and support the seL4 board in achieving its objectives." More info on: https://sel4.systems/Foundation/Board.html - Jason Sebranek, from Cog Systems. Mr. Sebranek started his cybersecurity career in 2002 with Northrop Grumman as a Software Engineer. Over his career he grew into many roles, including Section Manager, Lead Software Engineer, R&D Principal Investigator, Cyber Architect, and Technical Fellow. In his R&D role, Mr. Sebranek led the Cyber Division’s Trusted Mobility team exploring cybersecurity for mobile platforms. Mr. Sebranek began his career at Cog Systems, Inc. as the Director of Technical Marketing, reporting directly to the Chief Marketing Office and CEO. Key responsibilities included Engineering Liaison and leading the Sales Engineering and Capture Team. In 2019 Mr. Sebranek became the Chief Technology Officer, with responsibilities including product and technology planning/roadmap, cybersecurity architecture, and industry partnership development.

1 1

(seL4 Foundation) IMPORTANT: first GM and call for nominations
by June Andronick (seL4 Foundation) 10 Mar '21

10 Mar '21

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(a)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(a)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/>

2 3

Invitation: seL4 Foundation GM @ Fri Mar 26, 2021 8am - 10am (AEDT) (board@sel4.systems)
by june.andronick＠gmail.com 05 Mar '21

05 Mar '21

You have been invited to the following event. Title: seL4 Foundation GM Hi all seL4 foundation members, As per my earlier email, this is the invitation for the seL4 Foundation GM. Agenda will follow shortly. Gernot has asked to provide for 2h rather than 1 even if we don't use the whole 2 hours. Also remember that you can *nominate a representative for the General class before March 12th*, by sending the name of the nominee and a small accompanying paragraph, to foundation(a)sel4.systems. If you have any question, let me know. Many thanks June -- Notice: This conference may be recorded for security, educational, quality and coaching purposes. Please contact the conference organiser if you have concerns about this or would like more information about your rights under privacy legislation. Information on UNSW's privacy policy is available at https://www.legal.unsw.edu.au/compliance/privacyhome.html ----------------------------------------------------------------- Australian Toll number: Dial: +61 (0) 2 8015 2088 ----------------------------------------------------------------- Hi there, June Andronick is inviting you to a scheduled Zoom meeting. Topic: seL4 Foundation GM Time: Mar 26, 2021 08:00 AM Canberra, Melbourne, Sydney Join from PC, Mac, Linux, iOS or Android: https://unsw.zoom.us/j/81374473187 Or iPhone one-tap : Australia: +61861193900,,81374473187# or +61871501149,,81374473187# Or Telephone: Dial(for higher quality, dial a number based on your current location)： Australia: +61 8 6119 3900 or +61 8 7150 1149 or +61 2 8015 6011 or +61 3 7018 2005 or +61 7 3185 3730 Meeting ID: 813 7447 3187 International numbers available: https://unsw.zoom.us/u/kbhRXdX4G7 Or an H.323/SIP room system: Dial 81374473187(a)zmau.us or 103.122.166.55 Meeting ID: 81374473187 Need help using Zoom? Visit the Zoom Help Centre: https://support.zoom.us When: Fri Mar 26, 2021 8am – 10am Eastern Australia Time - Sydney Where: https://unsw.zoom.us/j/81374473187 Calendar: board(a)sel4.systems Who: * june.andronick(a)gmail.com - organizer * board(a)sel4.systems * tech-contacts(a)sel4.systems * voting-contacts(a)sel4.systems Event details: https://calendar.google.com/calendar/event?action=VIEW&eid=Xzc0b2plZGhrNmtz… Invitation from Google Calendar: https://calendar.google.com/calendar/ You are receiving this courtesy email at the account board(a)sel4.systems because you are an attendee of this event. To stop receiving future updates for this event, decline this event. Alternatively you can sign up for a Google account at https://calendar.google.com/calendar/ and control your notification settings for your entire calendar. Forwarding this invitation could allow any recipient to send a response to the organizer and be added to the guest list, or invite others regardless of their own invitation status, or to modify your RSVP. Learn more at https://support.google.com/calendar/answer/37135#forwarding

1 0

Re: (seL4 foundation) IMPORTANT: please approve election process (by Feb 25th)
by June Andronick (seL4 Foundation) 22 Feb '21

22 Feb '21

(sorry just resending from my seL4 email address) > On 22 Feb 2021, at 10:14 am, June Andronick (Gmail) <june.andronick(a)gmail.com> wrote: > > 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.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(a)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(a)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/>

1 0