Colleagues, I’m going to defer the board meeting by one week. Reasons: - there is less urgency – we’ve ensured survival of TS for now (more detail soon) - in working on the above, we didn’t get the cycles to properly prepare the meeting, in particular the budget. Apologies for the change, but given we’re no longer in an emergency situation it’s better to prepare properly. Gernot
On 24 May 2021, at 18:31, Gernot Heiser <gernot@sel4.systems> wrote:
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 -- Board mailing list -- board@sel4.systems To unsubscribe send an email to board-leave@sel4.systems