7 Apr
2021
7 Apr
'21
10:56 a.m.
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