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
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
Gernot, I will be on vacation Friday, 4 June through Tuesday, 8 June, and will be camping in a place that will probably not have WiFi nor even basic cell service. So, I would not be able to meet on the date you suggest. I will be back at work on Wednesday, 9 June. Best Regards, David Hardin On Fri, May 28, 2021 at 6:27 AM Gernot Heiser <gernot@sel4.systems> wrote:
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
-- Board mailing list -- board@sel4.systems To unsubscribe send an email to board-leave@sel4.systems
OK, would it work for everyone if we moved to the 9 th (EU/US) / 10th (AU)? Gernot
On 29 May 2021, at 03:09, David Hardin <david.hardin@collins.com> wrote:
Gernot,
I will be on vacation Friday, 4 June through Tuesday, 8 June, and will be camping in a place that will probably not have WiFi nor even basic cell service. So, I would not be able to meet on the date you suggest. I will be back at work on Wednesday, 9 June.
Best Regards,
David Hardin
On Fri, May 28, 2021 at 6:27 AM Gernot Heiser <gernot@sel4.systems> wrote: 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
-- Board mailing list -- board@sel4.systems To unsubscribe send an email to board-leave@sel4.systems
Yes, works for me -- thanks. David On Fri, May 28, 2021 at 5:56 PM Gernot Heiser <gernot@sel4.systems> wrote:
OK, would it work for everyone if we moved to the 9 th (EU/US) / 10th (AU)?
Gernot
On 29 May 2021, at 03:09, David Hardin <david.hardin@collins.com> wrote:
Gernot,
I will be on vacation Friday, 4 June through Tuesday, 8 June, and will be camping in a place that will probably not have WiFi nor even basic cell service. So, I would not be able to meet on the date you suggest. I will be back at work on Wednesday, 9 June.
Best Regards,
David Hardin
On Fri, May 28, 2021 at 6:27 AM Gernot Heiser <gernot@sel4.systems> wrote:
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
-- Board mailing list -- board@sel4.systems To unsubscribe send an email to board-leave@sel4.systems
participants (2)
-
David Hardin -
Gernot Heiser