- Board - lists.sel4.systems

meet Proofcraft!
by June Andronick 10 May '21

10 May '21

Dear friends, We are excited to share our new company name and website! Please meet Proofcraft at https://proofcraft.systems/ We will be holding 2 short virtual launches where you’ll have the opportunity to learn more and ask questions: - Australia-US virtual launch (~30min): Tue 11th May, 9am in Sydney, Mon 10th May 4pm/6pm/7pm in PST/CST/EST https://unsw.zoom.us/meeting/register/tZUodOmopzMqGdUhFWwJ-YAHf_Nuso7IW-RM - Australia-Europe virtual launch (~30min): Wed 12th May, 5pm in Sydney, Wed 12th May, 9am in CEST https://unsw.zoom.us/meeting/register/tZAlcuuvrDIvG9JenOQoGc7kuzLNAfv4g6VS Please register in advance. After registering, you will receive a confirmation email containing information about joining the meeting. Following that, we will be happy to set up individual catch-ups with interested people. (For our Sydney-based friends, we’ll send the details of the physical party separately). Looking forward to this new adventure! June, Rafal, Gerwin june.andronick(a)proofcraft.systems<mailto:june.andronick@proofcraft.systems> rafal.kolanski(a)proofcraft.systems<mailto:rafal.kolanski@proofcraft.systems> gerwin.klein(a)proofcraft.systems<mailto:gerwin.klein@proofcraft.systems>

1 1

test
by Gernot Heiser 06 May '21

06 May '21

please ignore

1 0

Charter changes approved
by Gernot Heiser 21 Apr '21

21 Apr '21

Fellow Board members, As the subject line says: LF has approved our changes to the Funding Charter, it’ll go live on the web site shortly. Please remember to let me know by the end of this week whether you have any comments/questions/corrections for the Minutes, failing that I’ll publish them over the week end. Gernot

1 0

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