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