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@lists.tockos.org> wrote:
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
_______________________________________________
Pose mailing list -- pose@lists.tockos.org
To unsubscribe send an email to pose-leave@lists.tockos.org