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_w9jA... 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@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@sel4.systems To unsubscribe send an email to board-leave@sel4.systems