3 Nov
2025
3 Nov
'25
7:59 p.m.
Thanks David and Qiyan for entering your availabilities. MattG, can you please enter your availabilities too? Thanks June
On 30 Oct 2025, at 09:57, June Andronick (seL4 Foundation) <june@sel4.systems> wrote:
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):
Agenda and board papers to follow closer to the date with the official notice.
Thanks June