Fellow seL4 Board members, I’m calling a meeting next week to discuss the present situation and approve a new budget to ensure a smooth transition out of CSIRO and support for seL4 over the next few months. The actual budget still needs to be done, I’ll circulate by the end of the week. Apologies to Sascha for two 11pm meetings in as many weeks. We may still have to shift a bit, but I wanted to make sure that I give the required notice. Agenda: - approval of minutes of previous meeting - discussion of state of the seL4 ecosystem, following CSIRO’s decision to dismantle the TS group - discussion and approval of budget Times as for tomorrow’s members meeting: - AEST (Sydney): Tuesday 25th 7am - CEST (Munich): Monday 24th 11pm - CDT: Monday 24th 4pm I’ll also send out a meeting invite. Gernot