- Board - lists.sel4.systems

BM14 Draft Minutes
by Gernot Heiser 20 Nov '25

20 Nov '25

Dear seL4 Board members, Please find attached the Draft Minutes of this week’s meeting for sanity checking. As usual we’ll post them as Draft on the seL4 web site if I don’t hear otherwise within a week. Gernot

1 0

seL4 BM
by June Andronick (seL4 Foundation) 18 Nov '25

18 Nov '25

Friendly reminder that the seL4 board meeting is coming up on 2025-11-18 at 22:00 UTC. See you all soon June seL4 BM Scheduled: 18 Nov 2025 at 23:00 to 19 Nov 2025 at 00:00, CET Location: https://unsw.zoom.us/j/88587187291 Invitees: Qiyan Wang, seL4 Board, Birgit Brecknell, June Andronick, David Hardin, Gerwin Klein, Gernot Heiser, Matthew Grosvenor, Hardin, David Agenda attached. 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. Join from PC, Mac, Linux, iOS or Android: https://unsw.zoom.us/j/88587187291 Or iPhone one-tap : Australia: +61871501149,,88587187291# or +61280156011,,88587187291# Or Telephone: Dial(for higher quality, dial a number based on your current location)： Australia: +61 8 7150 1149 or +61 2 8015 6011 or +61 3 7018 2005 or +61 7 3185 3730 or +61 8 6119 3900 Meeting ID: 885 8718 7291 International numbers available: https://unsw.zoom.us/u/kd1rL01Sr5 Or an H.323/SIP room system: Dial 88587187291(a)zmau.us or 103.122.166.55 Meeting ID: 88587187291 Need help using Zoom? Visit the Zoom Help Centre: https://support.zoom.us

1 0

Re: Agenda 14th Meeting of the seL4 Board
by June Andronick (seL4 Foundation) 10 Nov '25

10 Nov '25

Dear all, In case you want to have a look at the source of the finances, a reminder that they are available as usual at https://docs.google.com/spreadsheets/d/1QpaujPcumZPYxnL537HRfXEodI4Cn_A_w9j… In particular the tabs: - BM 2025-11-18; BUDGET 2025-2026 - BM 2025-11-18; 2024 reconciliation I am also attaching the agenda again (with the date fixed, apologies for the previous typo). I’ve also added it to the calendar invite. Thanks, June > On 9 Nov 2025, at 01:38, Gernot Heiser <gernot(a)sel4.systems> wrote: > > Fellow members of the seL4 Board, > > Notice is herewith given of the 14th Meeting of the seL4 Board on 2025-11-18 at 22:00 UTC. > > Details in the attached Agenda and attachments to that. > I also attach a detailed CEO report. > > Reminder: the Zoom link is https://unsw.zoom.us/j/88587187291 > > See you there, > Gernot > > <0_Agenda.pdf><1_BM13-Minutes.pdf><2_budget.pdf><ceo-report.pdf>-- > Board mailing list -- board(a)sel4.systems > To unsubscribe send an email to board-leave(a)sel4.systems

1 0

seL4 BM
by June Andronick 10 Nov '25

10 Nov '25

Agenda attached. 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. Join from PC, Mac, Linux, iOS or Android: https://unsw.zoom.us/j/88587187291 Or iPhone one-tap : Australia: +61871501149,,88587187291# or +61280156011,,88587187291# Or Telephone: Dial(for higher quality, dial a number based on your current location)： Australia: +61 8 7150 1149 or +61 2 8015 6011 or +61 3 7018 2005 or +61 7 3185 3730 or +61 8 6119 3900 Meeting ID: 885 8718 7291 International numbers available: https://unsw.zoom.us/u/kd1rL01Sr5 Or an H.323/SIP room system: Dial 88587187291(a)zmau.us or 103.122.166.55 Meeting ID: 88587187291 Need help using Zoom? Visit the Zoom Help Centre: https://support.zoom.us

1 0

seL4 BM
by June Andronick 10 Nov '25

10 Nov '25

Agenda attached. 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. Join from PC, Mac, Linux, iOS or Android: https://unsw.zoom.us/j/88587187291 Or iPhone one-tap : Australia: +61871501149,,88587187291# or +61280156011,,88587187291# Or Telephone: Dial(for higher quality, dial a number based on your current location)： Australia: +61 8 7150 1149 or +61 2 8015 6011 or +61 3 7018 2005 or +61 7 3185 3730 or +61 8 6119 3900 Meeting ID: 885 8718 7291 International numbers available: https://unsw.zoom.us/u/kd1rL01Sr5 Or an H.323/SIP room system: Dial 88587187291(a)zmau.us or 103.122.166.55 Meeting ID: 88587187291 Need help using Zoom? Visit the Zoom Help Centre: https://support.zoom.us

1 0

seL4 Foundation: please select date for next BM
by June Andronick (seL4 Foundation) 04 Nov '25

04 Nov '25

Dear fellows of the seL4 Board, We need to hold a Board Meeting soon, in particular to approve the budget for 2026 for the funds that will stay available in our Linux Foundation account. Please let me know your availabilities using the following link (you can select the timezone you are in): http://whenisgood.net/h47bfhh Agenda and board papers to follow closer to the date with the official notice. Thanks June

1 2

seL4 BM
by June Andronick 04 Nov '25

04 Nov '25

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. Join from PC, Mac, Linux, iOS or Android: https://unsw.zoom.us/j/88587187291 Or iPhone one-tap : Australia: +61871501149,,88587187291# or +61280156011,,88587187291# Or Telephone: Dial(for higher quality, dial a number based on your current location)： Australia: +61 8 7150 1149 or +61 2 8015 6011 or +61 3 7018 2005 or +61 7 3185 3730 or +61 8 6119 3900 Meeting ID: 885 8718 7291 International numbers available: https://unsw.zoom.us/u/kd1rL01Sr5 Or an H.323/SIP room system: Dial 88587187291(a)zmau.us or 103.122.166.55 Meeting ID: 88587187291 Need help using Zoom? Visit the Zoom Help Centre: https://support.zoom.us

1 0

DRAFT Minutes of last week's Board meeting and new member
by Gernot Heiser 15 Jun '21

15 Jun '21

Fellow seL4 Board members, Please find attached the draft minutes of last week’s meeting. If I hear no objections by the end of the week I will publish them as “unconfirmed” and forward to LF. As flagged, there are minor corrections in the budget compared to what was tabled at the meeting. These correct the carry-forward from last FY and the actual expenditure to date, both were inconsistent due to confusion resulting from the change of financial year. The actual approved amounts are unchanged. I’m also pleased to say that we have a new Premium Member: electric car maker NIO (https://nio.io) has just completed the sign-up process. This means the conditionally-approved amounts in the budget will be available to be spent as soon as NIO’s membership payment arrives. As a Premium member, NIO will be entitled to a Board seat, which they will take at the next meeting. There will be a public announcement within days. Gernot

1 0

Agenda for seL4 Board Meeting 2021-06-09 21:00 UTC
by Gernot Heiser 08 Jun '21

08 Jun '21

Fellow seL4 Board Members, Please find attached the papers for our next meeting. Times: AEST: 07:00 on Thu, 10 June CET: 23:00 on Wed, 9 June UTC: 21:00 on Wed, 9 June CDT: 16:00 on Wed, 9 June As usual, the documents are also available on the Board Gdrive: https://drive.google.com/drive/folders/1qBgN70ThMW9lw52zrRoF8MQMvK4A0piF?us… Gernot

1 0

seL4 Board Meeting
by Gernot Heiser 31 May '21

31 May '21

1 0