Fellow seL4 Board Members, Please find attached the papers for our next meeting. Times: AEST: 07:00 on Thu, 10 June CET: 23:00 on Wed, 9 June UTC: 21:00 on Wed, 9 June CDT: 16:00 on Wed, 9 June As usual, the documents are also available on the Board Gdrive: https://drive.google.com/drive/folders/1qBgN70ThMW9lw52zrRoF8MQMvK4A0piF?usp... Gernot