Thanks all. The seL4 Board Meeting will be on Nov 18th, 10pm UTC. You should have all received an invitation. Official notice and board papers to come soon. Best June

On 3 Nov 2025, at 09:59, June Andronick (seL4 Foundation) <june@sel4.systems> wrote:

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):

http://whenisgood.net/h47bfhh

Agenda and board papers to follow closer to the date with the official notice.

Thanks June