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