On 7 Apr 2021, at 10:56, Gernot Heiser <gernot@sel4.systems> wrote:<0_Agenda.pdf><1_Board-min-2010-unconfirmed.pdf><2_TSC-min-210129.pdf><3a_Funding_Charter- proposed-redlined.pdf><3b_Funding_Charter-proposed-clean.pdf><04_Budget.pdf>Dear members of the seL4 Board,
Please find the agenda and relevant papers for our Board meeting a week from today. The materials can also be found in the Google drive you should all have access to: https://drive.google.com/drive/folders/1qBgN70ThMW9lw52zrRoF8MQMvK4A0piF
As indicated earlier, our outgoing members are welcome to attend the meeting as observers.
See you next week,
Gernot
--
Board mailing list -- board@sel4.systems
To unsubscribe send an email to board-leave@sel4.systems