(seL4 Foundation) please check GM pre-material (by Thy 18th please)
Dear board, Please find attached a proposed agenda for the GM together with some of the material that I would like to share with all attendees of the GM about 1 week before the meeting, so people can come prepared. Please comment/approve/object/amend as you see fit. Any feedback welcome. The earlier the better, and at the latest Thu 18th 9am Sydney time please (that’s sometime Wed 17th for most of you), so I can compile everything on my Thursday. Let me know if you need more time. I still have to work on the outreach update and will need a budget update form you Dan. Any questions let me know! Many thanks! June
I'm happy with the proposed agenda and material. Minor bit: "(maybe as an action/requirement in the EoI?)" -- I'd leave the other input options out for now (i.e. remove the sentence starting with "Gernot has", ending with "EoI)", and just ask for the opinion of members at the meeting with the information provided here. They have some warning, so hopefully time to form an opinion. Cheers, Gerwin
On 12 Mar 2021, at 17:01, June Andronick (seL4 Foundation) <june@sel4.systems> wrote:
Signed PGP part Dear board,
Please find attached a proposed agenda for the GM together with some of the material that I would like to share with all attendees of the GM about 1 week before the meeting, so people can come prepared.
Please comment/approve/object/amend as you see fit. Any feedback welcome. The earlier the better, and at the latest Thu 18th 9am Sydney time please (that’s sometime Wed 17th for most of you), so I can compile everything on my Thursday. Let me know if you need more time.
I still have to work on the outreach update and will need a budget update form you Dan.
Any questions let me know!
Many thanks! June
<gm-prep-tosend.md><gm-prep-tosend.pdf>
Hi June, Attached is the budget as it currently stands. I dont recall any specific plans for how we will spend the additional money, especially with the AWS credits in place taking care of some of the server costs. I have put a small amount of money in the proposed budget for 2021 highlighted in yellow. Otherwise I’d suggest we wait until plans firm up for Community Engagement and Outreach. Alternately, I’d propose we could budget today $5K - $10K for Community Engagement, and I’d propose another $10K for training content in preparation for an eventual Summit On 17 Mar 2021, at 3:56 pm, Gerwin Klein <gerwin@doclsf.de<mailto:gerwin@doclsf.de>> wrote: I'm happy with the proposed agenda and material. Minor bit: "(maybe as an action/requirement in the EoI?)" -- I'd leave the other input options out for now (i.e. remove the sentence starting with "Gernot has", ending with "EoI)", and just ask for the opinion of members at the meeting with the information provided here. They have some warning, so hopefully time to form an opinion. Cheers, Gerwin On 12 Mar 2021, at 17:01, June Andronick (seL4 Foundation) <june@sel4.systems<mailto:june@sel4.systems>> wrote: Signed PGP part Dear board, Please find attached a proposed agenda for the GM together with some of the material that I would like to share with all attendees of the GM about 1 week before the meeting, so people can come prepared. Please comment/approve/object/amend as you see fit. Any feedback welcome. The earlier the better, and at the latest Thu 18th 9am Sydney time please (that’s sometime Wed 17th for most of you), so I can compile everything on my Thursday. Let me know if you need more time. I still have to work on the outreach update and will need a budget update form you Dan. Any questions let me know! Many thanks! June <gm-prep-tosend.md><gm-prep-tosend.pdf> ________________________________ WARNING This email originates from an e-mail address outside of Ghost Locomotion. Do not open attachments or click links unless you are sure this email comes from a known, trusted sender. ________________________________ -- Board mailing list -- board@sel4.systems<mailto:board@sel4.systems> To unsubscribe send an email to board-leave@sel4.systems<mailto:board-leave@sel4.systems> -- Dr Daniel Potts Ghost m +61 403 512 440 e danielp@gh.st<mailto:danielp@gh.st> | gh.st<https://gh.st/> Confidentiality Note:This email is intended only for the person or entity to which it is addressed and may contain information that is privileged, confidential or otherwise protected from disclosure. Unauthorized use, dissemination, distribution or copying of this email or the information herein by anyone other than the intended recipient is strictly prohibited. If you have received this email in error, please notify the sender immediately and destroy the original message, any attachments thereto and all copies.
Hi Dan, I’ll wait for Gernot to be back next week to discuss this. For now, I'll just give an indication of potential available funds for the discussion around investment. Cheers June
On 17 Mar 2021, at 4:11 pm, Daniel Potts <danielp@gh.st> wrote:
Hi June,
Attached is the budget as it currently stands. I dont recall any specific plans for how we will spend the additional money, especially with the AWS credits in place taking care of some of the server costs. I have put a small amount of money in the proposed budget for 2021 highlighted in yellow. Otherwise I’d suggest we wait until plans firm up for Community Engagement and Outreach. Alternately, I’d propose we could budget today $5K - $10K for Community Engagement, and I’d propose another $10K for training content in preparation for an eventual Summit
On 17 Mar 2021, at 3:56 pm, Gerwin Klein <gerwin@doclsf.de <mailto:gerwin@doclsf.de>> wrote:
I'm happy with the proposed agenda and material.
Minor bit: "(maybe as an action/requirement in the EoI?)" -- I'd leave the other input options out for now (i.e. remove the sentence starting with "Gernot has", ending with "EoI)", and just ask for the opinion of members at the meeting with the information provided here. They have some warning, so hopefully time to form an opinion.
Cheers, Gerwin
On 12 Mar 2021, at 17:01, June Andronick (seL4 Foundation) <june@sel4.systems <mailto:june@sel4.systems>> wrote:
Signed PGP part Dear board,
Please find attached a proposed agenda for the GM together with some of the material that I would like to share with all attendees of the GM about 1 week before the meeting, so people can come prepared.
Please comment/approve/object/amend as you see fit. Any feedback welcome. The earlier the better, and at the latest Thu 18th 9am Sydney time please (that’s sometime Wed 17th for most of you), so I can compile everything on my Thursday. Let me know if you need more time.
I still have to work on the outreach update and will need a budget update form you Dan.
Any questions let me know!
Many thanks! June
<gm-prep-tosend.md><gm-prep-tosend.pdf>
________________________________
WARNING This email originates from an e-mail address outside of Ghost Locomotion. Do not open attachments or click links unless you are sure this email comes from a known, trusted sender.
________________________________ -- Board mailing list -- board@sel4.systems <mailto:board@sel4.systems> To unsubscribe send an email to board-leave@sel4.systems <mailto:board-leave@sel4.systems>
-- Dr Daniel Potts Ghost m +61 403 512 440 e danielp@gh.st <mailto:danielp@gh.st> | gh.st <https://gh.st/>
Confidentiality Note:This email is intended only for the person or entity to which it is addressed and may contain information that is privileged, confidential or otherwise protected from disclosure. Unauthorized use, dissemination, distribution or copying of this email or the information herein by anyone other than the intended recipient is strictly prohibited. If you have received this email in error, please notify the sender immediately and destroy the original message, any attachments thereto and all copies.
<seL4 Foundation Financials 1.31.21 Final SD.xlsx>
Hi Dan, I feel this version of the budget is far too detailed for the AMG. I’d suggest that the formal I used for the board meetings (https://docs.google.com/spreadsheets/d/1PWLwBgRfCBGwOCpCU_R-vDiDD8x5LlgLwjPn...) is more appropriate. We really want to show what flexibility we have (and might have based on anticipated growth) and discuss how to use it best. To me, the priorities are: - someone to run the shop, 1d/w of June would be awesome - a support person to maintain testing/CI infrastructure - an engineer to deal with community and PRs Gernot On 17 Mar 2021, at 16:11, Daniel Potts <danielp@gh.st<mailto:danielp@gh.st>> wrote: Hi June, Attached is the budget as it currently stands. I dont recall any specific plans for how we will spend the additional money, especially with the AWS credits in place taking care of some of the server costs. I have put a small amount of money in the proposed budget for 2021 highlighted in yellow. Otherwise I’d suggest we wait until plans firm up for Community Engagement and Outreach. Alternately, I’d propose we could budget today $5K - $10K for Community Engagement, and I’d propose another $10K for training content in preparation for an eventual Summit On 17 Mar 2021, at 3:56 pm, Gerwin Klein <gerwin@doclsf.de<mailto:gerwin@doclsf.de>> wrote: I'm happy with the proposed agenda and material. Minor bit: "(maybe as an action/requirement in the EoI?)" -- I'd leave the other input options out for now (i.e. remove the sentence starting with "Gernot has", ending with "EoI)", and just ask for the opinion of members at the meeting with the information provided here. They have some warning, so hopefully time to form an opinion. Cheers, Gerwin On 12 Mar 2021, at 17:01, June Andronick (seL4 Foundation) <june@sel4.systems<mailto:june@sel4.systems>> wrote: Signed PGP part Dear board, Please find attached a proposed agenda for the GM together with some of the material that I would like to share with all attendees of the GM about 1 week before the meeting, so people can come prepared. Please comment/approve/object/amend as you see fit. Any feedback welcome. The earlier the better, and at the latest Thu 18th 9am Sydney time please (that’s sometime Wed 17th for most of you), so I can compile everything on my Thursday. Let me know if you need more time. I still have to work on the outreach update and will need a budget update form you Dan. Any questions let me know! Many thanks! June <gm-prep-tosend.md><gm-prep-tosend.pdf> ________________________________ WARNING This email originates from an e-mail address outside of Ghost Locomotion. Do not open attachments or click links unless you are sure this email comes from a known, trusted sender. ________________________________ -- Board mailing list -- board@sel4.systems<mailto:board@sel4.systems> To unsubscribe send an email to board-leave@sel4.systems<mailto:board-leave@sel4.systems> -- Dr Daniel Potts Ghost m +61 403 512 440 e danielp@gh.st<mailto:danielp@gh.st> | gh.st<https://gh.st/> Confidentiality Note:This email is intended only for the person or entity to which it is addressed and may contain information that is privileged, confidential or otherwise protected from disclosure. Unauthorized use, dissemination, distribution or copying of this email or the information herein by anyone other than the intended recipient is strictly prohibited. If you have received this email in error, please notify the sender immediately and destroy the original message, any attachments thereto and all copies. <seL4 Foundation Financials 1.31.21 Final SD.xlsx>-- Board mailing list -- board@sel4.systems<mailto:board@sel4.systems> To unsubscribe send an email to board-leave@sel4.systems<mailto:board-leave@sel4.systems>
On 23 Mar 2021, at 21:46, Gernot Heiser <gernot@unsw.edu.au> wrote:
To me, the priorities are: - someone to run the shop, 1d/w of June would be awesome - a support person to maintain testing/CI infrastructure - an engineer to deal with community and PRs
I agree with all of these, apart from PRs. The point that Kent raised at the TSC meeting is correct: having someone whose official paid responsibility is to handle pull requests will inhibit TSC members and reviewers from contributing their time, which is dangerous because we want the experts to look at code contributions. We should instead eliminate the overhead we currently have for handling PRs, and by the end of the week we'll hopefully have done most of that. Engagement on GitHub is currently quite high, so we should be able to see fairly soon if removing the overhead makes a substantial difference or not. Having someone who has time to answer community questions and help with writing high-quality documentation would definitely be very useful, though. Cheers, Gerwin
Thanks Gerwin. I’ve made the change following your suggestion. Without further feedback I’ll send the material and agenda now. Cheers June
On 17 Mar 2021, at 3:56 pm, Gerwin Klein <gerwin@doclsf.de> wrote:
I'm happy with the proposed agenda and material.
Minor bit: "(maybe as an action/requirement in the EoI?)" -- I'd leave the other input options out for now (i.e. remove the sentence starting with "Gernot has", ending with "EoI)", and just ask for the opinion of members at the meeting with the information provided here. They have some warning, so hopefully time to form an opinion.
Cheers, Gerwin
On 12 Mar 2021, at 17:01, June Andronick (seL4 Foundation) <june@sel4.systems> wrote:
Signed PGP part Dear board,
Please find attached a proposed agenda for the GM together with some of the material that I would like to share with all attendees of the GM about 1 week before the meeting, so people can come prepared.
Please comment/approve/object/amend as you see fit. Any feedback welcome. The earlier the better, and at the latest Thu 18th 9am Sydney time please (that’s sometime Wed 17th for most of you), so I can compile everything on my Thursday. Let me know if you need more time.
I still have to work on the outreach update and will need a budget update form you Dan.
Any questions let me know!
Many thanks! June
<gm-prep-tosend.md><gm-prep-tosend.pdf>
participants (4)
-
Daniel Potts -
Gernot Heiser -
Gerwin Klein -
June Andronick (seL4 Foundation)