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