Thanks Sascha for pointing out that there was no link in the below mail, and my calendar invite also never went out. The zoom link is https://unsw.zoom.us/j/8900434225 <https://unsw.zoom.us/j/8900434225> Gernot

On 7 Apr 2021, at 10:56, Gernot Heiser <gernot@sel4.systems> wrote:

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