I also think we land on a 501(c)6 here, as we're focused on the actual
software we're developing, rather than being an advocacy group.
-Branden
On Wed, Oct 2, 2024 at 3:25 PM Brad Campbell via Pose <pose(a)lists.tockos.org>
wrote:
> After some discussion on slack, it seems like one way to think about
> 501(c)3/6 status is about the scope of the foundation: do we want to center
> the foundation around the service of making embedded firmware safe and
> secure (eg 501(c)3), or do we want to focus more on the development and
> stewardship of Tock (eg 501(c)6)? The existing software foundation 501(c)3
> organizations seem to have a more general purpose, with perhaps a software
> artifact as a secondary goal.
>
> I'm not sure how to make that decision. Personally I lean towards the
> latter (ie 501(c)6) as I feel like that is better scoped to our goals and
> capabilities.
>
> - Brad
>
> On Thu, Sep 26, 2024 at 2:27 PM Amit Levy via Pose <pose(a)lists.tockos.org>
> wrote:
>
>> Reminder that we are meeting today at 12pm/2pm/3pm at
>> https://meetings.dialpad.com/room/tock/sgsxvedm5m
>> <https://urldefense.com/v3/__https://meetings.dialpad.com/room/tock/sgsxvedm…>
>>
>> Since we're rebooting after several weeks off, I'm summarizing below what
>> I interpret our goals for the project to be and where we stand on them so
>> far. For today's agenda, I think we should (a) review these, (b) decide
>> who's on the foundation board.
>>
>> # Goals
>>
>> - Establish a foundation
>> - Solidify a contribution process
>> - Develop and deploy a hardware-CI
>> - Expand developer and contributor community through outreach
>> - Expand educational, training, and tutorial materials
>>
>> # Status
>>
>> ## Establish a foundation
>>
>> - DONE Foundation exists. It has a bank account and some money (primarily
>> from TockWorld 7 tickets)
>> - IN PROGRESS Get substantial money by move some POSE money from
>> Princeton to foundation. Blocked on Princeton admins
>> - IN PROGRESS Writing a grant for DARPA TRACTOR (C-to-RUST) along with UW
>> systems+PL where the foundation would take on porting various "drivers" to
>> Tock as a deliverable
>> - TODO Elect a board
>> - TODO Non-government fund raising
>> - TODO Announcement (e.g. a press release)
>>
>> ## Solidify a contribution process
>>
>> I think we're done for now. Let's use MS & Google big upstreaming efforts
>> as a test case relative to the Ti50 history.
>>
>> ## Develop and Deploy hardware CI
>>
>> - DONE Hired Ben, working out well so far, though still very reliant on
>> Leon
>> - DONE Basic treadmill first version working!
>> - IN PROGRESS Deploy treadmill as CI for Tock. Technically deployed, but
>> not yet running any useful tests.
>> - TODO Do a release with Treadmill's help
>> - TODO Add support for I/O tests
>> - TODO Expand beyond nrf52840DK
>>
>> ## Expand developer and contributor community through outreach
>>
>> - DONE TockWorld 7
>> - DONE Tutorial at CPS-IOT week
>> - DONE Talk + "networking" at RustNL
>> - DONE Outreach and on-boarding towards upstreaming CHERI from Google and
>> x86 from MS.
>> - IN PROGRESS Outreach with new zeroRISC firmware team on Rust userspace
>> and OpenTitan contributions.
>> - IN PROGRESS Tutorial at EWSN '24
>> - IN PROGRESS CHERI in Rustc goal RFC. Drafted with Lawrence and Amit;
>> buy-in from Niko Matsakis and compiler-team lead; would be a 2025 Rust
>> project goal.
>> - IN PROGRESS "Working" with Infineon on supporting their Tock efforts as
>> an answer for their customers who want Rust on infineon chips.
>> - TODO Presence at industry events, e.g. EmbeddedWorld?
>> - TODO TockWorld 8
>>
>> ## Expand educational, training, and tutorial materials
>>
>> - DONE Tutorials updated for TockWorld 7, CPS-IOT
>> - Brad & Branden keeping up with book
>> - TODO Too many to list
>> - TODO Figure out what to do
>> _______________________________________________
>> Pose mailing list -- pose(a)lists.tockos.org
>> To unsubscribe send an email to pose-leave(a)lists.tockos.org
>>
>
Reminder that we are meeting today at 12pm/2pm/3pm at https://meetings.dialpad.com/room/tock/sgsxvedm5m
Since we're rebooting after several weeks off, I'm summarizing below what I interpret our goals for the project to be and where we stand on them so far. For today's agenda, I think we should (a) review these, (b) decide who's on the foundation board.
# Goals
- Establish a foundation
- Solidify a contribution process
- Develop and deploy a hardware-CI
- Expand developer and contributor community through outreach
- Expand educational, training, and tutorial materials
# Status
## Establish a foundation
- DONE Foundation exists. It has a bank account and some money (primarily from TockWorld 7 tickets)
- IN PROGRESS Get substantial money by move some POSE money from Princeton to foundation. Blocked on Princeton admins
- IN PROGRESS Writing a grant for DARPA TRACTOR (C-to-RUST) along with UW systems+PL where the foundation would take on porting various "drivers" to Tock as a deliverable
- TODO Elect a board
- TODO Non-government fund raising
- TODO Announcement (e.g. a press release)
## Solidify a contribution process
I think we're done for now. Let's use MS & Google big upstreaming efforts as a test case relative to the Ti50 history.
## Develop and Deploy hardware CI
- DONE Hired Ben, working out well so far, though still very reliant on Leon
- DONE Basic treadmill first version working!
- IN PROGRESS Deploy treadmill as CI for Tock. Technically deployed, but not yet running any useful tests.
- TODO Do a release with Treadmill's help
- TODO Add support for I/O tests
- TODO Expand beyond nrf52840DK
## Expand developer and contributor community through outreach
- DONE TockWorld 7
- DONE Tutorial at CPS-IOT week
- DONE Talk + "networking" at RustNL
- DONE Outreach and on-boarding towards upstreaming CHERI from Google and x86 from MS.
- IN PROGRESS Outreach with new zeroRISC firmware team on Rust userspace and OpenTitan contributions.
- IN PROGRESS Tutorial at EWSN '24
- IN PROGRESS CHERI in Rustc goal RFC. Drafted with Lawrence and Amit; buy-in from Niko Matsakis and compiler-team lead; would be a 2025 Rust project goal.
- IN PROGRESS "Working" with Infineon on supporting their Tock efforts as an answer for their customers who want Rust on infineon chips.
- TODO Presence at industry events, e.g. EmbeddedWorld?
- TODO TockWorld 8
## Expand educational, training, and tutorial materials
- DONE Tutorials updated for TockWorld 7, CPS-IOT
- Brad & Branden keeping up with book
- TODO Too many to list
- TODO Figure out what to do