(seL4 Foundation) Please read: GM agenda and pre-work

Dear all, Please find attached the agenda and some material and pre-work for the seL4 Foundation General Meeting to be held end of next week. Note that Gernot, chair of the seL4 Foundation, is still offline on leave so some of the agenda might still be tweaked once he’s back online ;) The pre-work shouldn’t take more than 15-30min; there’s a 12min video for the vision, 3 pages to read and 5 small items to think about. We would all greatly appreciate that everyone comes prepared for an efficient and productive meeting :) Please let me know if you have any questions. June

Hi all, Someone asked us who may attend the GM, so we thought we’d answer here for everyone’s benefit: notionally it’s one representative from each member, but we are happy to welcome more than one to allow more input to discussions and more involvement, as long as, if there is a vote during the meeting (which shouldn’t happen in this instance), we can identify the one person is eligible to vote for each organisation. Looking forward to the discussions in a few days. Don’t forget to read/watch the pre-material so we are all on the same page at the start of the meeting :) Also: if you haven’t voted yet, there should be a few hours left to do so. Cheers June
On 19 Mar 2021, at 5:46 pm, June Andronick (seL4 Foundation) <june@sel4.systems> wrote:
Dear all,
Please find attached the agenda and some material and pre-work for the seL4 Foundation General Meeting to be held end of next week. Note that Gernot, chair of the seL4 Foundation, is still offline on leave so some of the agenda might still be tweaked once he’s back online ;)
The pre-work shouldn’t take more than 15-30min; there’s a 12min video for the vision, 3 pages to read and 5 small items to think about. We would all greatly appreciate that everyone comes prepared for an efficient and productive meeting :)
Please let me know if you have any questions.
June
<gm21-4-material-to-members.md.pdf>

Hi all, Please find below a revised agenda [0] after discussion with Gernot now that he’s back :) Please don’t forget to, prior to the meeting, watch the 12min video on the vision [1] and read the topics we want your feedback on [2]. We’ll assume people will have read/viewed the information and focus on discussions. Thanks! June [0] Revised Agenda: 1. Chairman update 2. TSC chair update 3. Vision for the next few years: material sent beforehand; discuss feedback/questions 4. Outreach (getting new members): update, plan and discussion 5. Wish list for investment: update on financials, proposed list and discussion 6. Endorsement/certification: update and discussion 7. Summit: update and discussion 8. AOB [1] Vision: Video: https://drive.google.com/file/d/1bkHBwuvK57dECjpaLqPdlUpx9hvsMSRg/view?usp=s... Pdf: https://drive.google.com/file/d/1JGEXkW5wjXtfwYXCsAqMLIGEyOvZL2Lx/view?usp=s... [2] Pre-material (updated with revised agenda, otherwise no changes) https://drive.google.com/file/d/1UYbG-wmruyXwFcHTNMrD7NA-KMoF-8SU/view?usp=s...
On 19 Mar 2021, at 5:46 pm, June Andronick (seL4 Foundation) <june@sel4.systems> wrote:
Dear all,
Please find attached the agenda and some material and pre-work for the seL4 Foundation General Meeting to be held end of next week. Note that Gernot, chair of the seL4 Foundation, is still offline on leave so some of the agenda might still be tweaked once he’s back online ;)
The pre-work shouldn’t take more than 15-30min; there’s a 12min video for the vision, 3 pages to read and 5 small items to think about. We would all greatly appreciate that everyone comes prepared for an efficient and productive meeting :)
Please let me know if you have any questions.
June
<gm21-4-material-to-members.md.pdf>
participants (1)
-
June Andronick (seL4 Foundation)