- Board - lists.sel4.systems

Draft Minutes of this week's Board meeting
by Gernot Heiser 16 Apr '21

16 Apr '21

Fellow Board members, Please find attached the draft minutes from this week’s meeting. I noticed that I had made a mistake in the Agenda, saying there was no business arising, when in fact there was a lengthy list of action items from the previous meetings. Fortunately they we all either done or obsolete, so I think it’s fine to just state so in the Minutes. Please let me know of any corrections. If I don’t hear back I’ll publish them as “unconfirmed” next week. Gernot

1 0

Papers for Board Meeting of 2021-04-13 UTC
by Gernot Heiser 13 Apr '21

13 Apr '21

Dear members of the seL4 Board, Please find the agenda and relevant papers for our Board meeting a week from today. The materials can also be found in the Google drive you should all have access to: https://drive.google.com/drive/folders/1qBgN70ThMW9lw52zrRoF8MQMvK4A0piF As indicated earlier, our outgoing members are welcome to attend the meeting as observers. See you next week, Gernot

1 1

Invitation: seL4 Board Meeting @ Wed Apr 14, 2021 07:00 - 08:00 (AEST) (board@sel4.systems)
by gernot.heiser＠gmail.com 13 Apr '21

13 Apr '21

You have been invited to the following event. Title: seL4 Board Meeting 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, Gernot Heiser is inviting you to a scheduled Zoom meeting. Topic: seL4 Board Meeting Time: Apr 13, 2021 09:00 PM GMT Join from PC, Mac, Linux, iOS or Android: https://unsw.zoom.us/j/8900434225 Or iPhone one-tap : US: +16699006833,,8900434225# or +12532158782,,8900434225# Or Telephone: Dial(for higher quality, dial a number based on your current location)： US: +1 669 900 6833 or +1 253 215 8782 or +1 301 715 8592 or +1 312 626 6799 or +1 346 248 7799 or +1 646 558 8656 Meeting ID: 890 043 4225 International numbers available: https://unsw.zoom.us/u/kk5ANk2o Or an H.323/SIP room system: Dial 8900434225(a)zmau.us or 103.122.166.55 Meeting ID: 8900434225 Need help using Zoom? Visit the Zoom Help Centre: https://support.zoom.us When: Wed Apr 14, 2021 07:00 – 08:00 Eastern Australia Time - Sydney Where: https://unsw.zoom.us/j/8900434225 Calendar: board(a)sel4.systems Who: * gernot.heiser(a)gmail.com - organizer * board(a)sel4.systems Event details: https://calendar.google.com/calendar/event?action=VIEW&eid=Xzg4czMwZGE2OGQy… 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

New adventure (save the date for more info)
by June Andronick (seL4 Foundation) 12 Apr '21

12 Apr '21

Dear all, Gerwin, Raf and I will be starting a new adventure soon! Our CSIRO/Data61 email addresses will cease to work after Tuesday 13th April 2021. You can still contact us on our seL4 addresses [0] or UNSW addresses [1], until we send you our new contact details (after a couple of weeks of break ;) ) If you want to hear more about our next adventure [2], save one of the following dates: - Australia-US virtual launch (~30min): Tue 11th May, 9am in Sydney, Mon 10th May 4pm/6pm/7pm in PST/CST/EST - Australia-Europe virtual launch (~30min): Wed 12th May, 5pm in Sydney, Wed 12th May, 9am in CEST - Sydney physical launch: Friday 14th May, 5-7pm in Sydney (TBC and location TBA) Feel free to spread the word! June, Rafal, Gerwin [0] june(a)sel4.systems gerwin(a)sel4.systems raf(a)sel4.systems [1] june.andronick(a)unsw.edu.au kleing(a)unsw.edu.au rafalk(a)cse.unsw.edu.au [2] We will be starting a company focusing on formal verification of seL4-based systems and of critical software in general, towards the vision we continue to believe in: a world where critical systems are formally verified.

1 0

news
by June Andronick (seL4 Foundation) 01 Apr '21

01 Apr '21

Dear friends, The news has already started to spread, so here it is from us: The 3 of us will be leaving our current positions in CSIRO/Data61 on April 13th. We will be starting a company focusing on formal verification of seL4-based systems and of critical software in general, towards the vision we continue to believe in: a world where critical systems are formally verified. We are looking forward to keeping working with you and we'll tell you more soon, when the company exists, so stay tuned! We will send you our future contacts shortly. Our seL4 and UNSW addresses below will still work in the future (but our CSIRO/Data61 email addresses will stop working from April 13th). june.andronick(a)unsw.edu.au june(a)sel4.systems gerwin.klein(a)unsw.edu.au gerwin(a)sel4.systems rafalk(a)cse.unsw.edu.au Cheers, June

1 1

Board Meeting on 13/14 April
by Gernot Heiser 29 Mar '21

29 Mar '21

Dear seL4 Board, First of all, let me again welcome David Hardin from Raytheon to the Board, who comes with a lot of relevant experience, as explained at last week’s Members Meeting. Let me also again thank our outgoing Board members, John Launchbury and Daniel Potts for their great help in getting the Foundation off the ground. I have not yet removed John and Dan from the Board mailing list, as I’d like to invite them to attend the next meeting as observers. We need a meeting of the Board in the very near future, for a number of reasons, including approving a new budget so we can spend the additional money that came in since the last approved budget. Scheduling is tricky for a number of reasons, and the only time that seems to work from our side is Tue 13 April at 21:00 UTC, which is Wed 14 April 07:00 AEST Tue 13 April 23:00 CEDT Tue 13 April 16:00 CDT I’ll send out a calendar invite shortly, but please let me know ASAP if this really doesn’t work for you. Thanks, Gernot

2 1

(seL4 Foundation) Please read: GM agenda and pre-work
by June Andronick (seL4 Foundation) 24 Mar '21

24 Mar '21

Dear all, Please find attached the agenda and some material and pre-work for the seL4 Foundation General Meeting to be held end of next week. Note that Gernot, chair of the seL4 Foundation, is still offline on leave so some of the agenda might still be tweaked once he’s back online ;) The pre-work shouldn’t take more than 15-30min; there’s a 12min video for the vision, 3 pages to read and 5 small items to think about. We would all greatly appreciate that everyone comes prepared for an efficient and productive meeting :) Please let me know if you have any questions. June

1 2

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