April 2021 - Board - lists.sel4.systems

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