May 2021 - Board - lists.sel4.systems

seL4 Board Meeting
by Gernot Heiser 31 May '21

31 May '21

1 0

Notice of Board meeting
by Gernot Heiser 29 May '21

29 May '21

Fellow seL4 Board members, I’m calling a meeting next week to discuss the present situation and approve a new budget to ensure a smooth transition out of CSIRO and support for seL4 over the next few months. The actual budget still needs to be done, I’ll circulate by the end of the week. Apologies to Sascha for two 11pm meetings in as many weeks. We may still have to shift a bit, but I wanted to make sure that I give the required notice. Agenda: - approval of minutes of previous meeting - discussion of state of the seL4 ecosystem, following CSIRO’s decision to dismantle the TS group - discussion and approval of budget Times as for tomorrow’s members meeting: - AEST (Sydney): Tuesday 25th 7am - CEST (Munich): Monday 24th 11pm - CDT: Monday 24th 4pm I’ll also send out a meeting invite. Gernot

2 4

seL4 Board Meeting
by Gernot Heiser 28 May '21

28 May '21

1 0

Draft blog
by Gernot Heiser 26 May '21

26 May '21

Dear Foundation/TSC/Board members, At today’s members meeting there was significant support for the suggestion that I should write a blog to counter the stupid and dangerous notion that trustworthy systems research was “done”. Ever obliging, here is a draft. Feedback very welcome, and if someone would like to be quoted on one of the points, I’ll be happy to include that. I plan to publish tomorrow. Gernot

1 1

[seL4 Foundation] extraordinary members meeting
by June Andronick (seL4 Foundation) 24 May '21

24 May '21

Dear all (sending to various mailing lists to make sure I’ve covered everyone —apologies if you receive multiple copies), We would like to have an opportunity to discuss the recent news that Data61 is shutting down the TS group. I’ll send an invite for: - AEST (Sydney): Tuesday 25th 7am - CEST (Munich): Monday 24th 11pm - EDT: Monday 24th 5pm - CDT: Monday 24th 4pm - PDT: Monday 24th 2pm I know it’s very short notice but we need to react fast to reassure the community and plan the coming few months. Prior to the meeting, I’ll send an email with a common message that we should spread, which will be on the Foundation’s website and linkedin page. If you can't join the call, feel free to send me any questions you may have, after you’ve received the common message to spread. Thanks all! Counting on you. June

1 1

seL4 Board Meeting
by Gernot Heiser 24 May '21

24 May '21

1 0

Invitation: seL4 Foundation --extraordinary members meeting @ Tue May 25, 2021 7am - 8am (AEST) (board@sel4.systems)
by june.andronick＠gmail.com 23 May '21

23 May '21

You have been invited to the following event. Title: seL4 Foundation --extraordinary members meeting As per email. - AEST (Sydney): Tuesday 25th 7am - CEST (Munich): Monday 24th 11pm - EDT: Monday 24th 5pm - CDT: Monday 24th 4pm - PDT: Monday 24th 2pm https://unsw.zoom.us/j/89363492842 ~ 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 --extraordinary members meeting Time: May 25, 2021 07:00 AM Canberra, Melbourne, Sydney Join from PC, Mac, Linux, iOS or Android: https://unsw.zoom.us/j/89363492842 Or iPhone one-tap : Australia: +61861193900,,89363492842# or +61871501149,,89363492842# 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: 893 6349 2842 International numbers available: https://unsw.zoom.us/u/kb4tqeHtXa Or an H.323/SIP room system: Dial 89363492842(a)zmau.us or 103.122.166.55 Meeting ID: 89363492842 Need help using Zoom? Visit the Zoom Help Centre: https://support.zoom.us When: Tue May 25, 2021 7am – 8am Eastern Australia Time - Sydney Where: https://unsw.zoom.us/j/89363492842 Calendar: board(a)sel4.systems Who: * june.andronick(a)gmail.com - organizer * seL4 Board * tech-contacts(a)sel4.systems * tsc-members(a)sel4.systems * voting-contacts(a)sel4.systems Event details: https://calendar.google.com/calendar/event?action=VIEW&eid=XzZ0MGs0aDIzNzBv… 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

Latest development and forthcoming seL4 Board meeting
by Gernot Heiser 22 May '21

22 May '21

Dear seL4 Board, You will all have heard the news that CSIRO is disbanding the Trustworthy Systems group. You will recall that we had already indicated that the marriage was in terminal trouble, so the development came as no surprise to me (but the team was shocked). The response from around the world was heart-warming. Beyond what you can see on Twitter and LinkedIn, there were very concrete offers of support, some financial (we’re likely to get new members out of this), some asking “please explain” questions to CSIRO management, and talking to government agencies. One Chinese company offered to take over the whole TS team to work for them (this is obviously *not* what we want). Keeping as much as possible of the team in the seL4 ecosystem is our obvious priority. Funding is key to that, but we’ll also have to take some short-term action to ensure continuing support for seL4. The good news is that most of the remaining TS team at CSIRO have expressed clear preference to remain part of the team (as long as it’s outside CSIRO), but they need to have a perspective. The vultures are circling in the sky. We’ll reach out to members, probably having an extraordinary members meeting, to discuss how everyone can help. We’ll also need to have a Board meeting, within about a week, to discuss strategy, but also to amend the approved budget. Here are some of the other relevant developments: - appointment of June as CEO is moving slower than hoped, due to LF’s responsiveness not being great, but it seems to be happening - similarly, getting an agreement with UNSW approved to subcontract some of our staff is moving slowly - however, the migration of the TS infrastructure out of CSIRO into UNSW is progressing well, and the Foundation setup will piggy-pack on that, so the subcontracting there only becomes urgent once the UNSW setup is in place (few more weeks) - CSIRO has at least agreed to donate all of the test boards and related equipment (of no use to them without TS) to the Foundation, saving us some money - the $30k donation promised by Ghost Locomotion is happening: they requested and accepted an invoice, which may already be paid for all I know - given that we have concrete offers for more memberships (including one Premium) we can afford to spend the money we already have more aggressively. The last point is particularly important in the present situation. You will remember that we approved 20% FTE of a junior engineer as a community support person. I think it is now important to upgrade that to a full-time position. One of the existing CSIRO staff would be suitable and is interested in doing this, but we’ll need to make that offer quickly, as he’s talking to a number of companies. Stay tuned for more info, Gernot

1 0

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