TockWorld 4.0
TockWorld 4.0 will be held at Princeton immediately after SenSys 2019.
Details
- Location: Green Hall, Room 0S6 Princeton University, Princeton NJ
- Date: November 15th, 2019
- Start time: 9:00am
- End time: 6:00pm
Agenda
- 9:00am-10:00am Breakfast & Introductions
- 9:30am, opening remarks (Amit)
- 9:45am, round of brief introductions (All)
- 10:00am-11:00am Reports & Status
- Power Clocks (Holly)
- Teaching with Tock (Brad)
- Titan (Johnathan)
- RISC-V (Justin)
- Code bloat (Phil)
- 11:00am-12:00pm Guidelines for Writing Kernel Code
- Experience report (Hudson)
- Documenting:
- Particular Tock codebase restrictions
- Who? What? Where? How?
- Strategies for helping those new to Tock contribute effectively
- Action items
- 12:00pm-1:00pm Lunch
- Ideas for outreach and promoting Tock
- Ideas for larger projects and goals for Tock (https://github.com/tock/tock/wiki/Project-Ideas-for-Tock)
- 1:00pm-2:00pm Threat Modeling
- Current “Threat Model” (Amit)
- Why we need something better (Johnathan)
- 2:00pm-3:00pm Breakouts 1: Threat Modeling
- 3:00pm-3:30pm Report backs
- 3:30pm-4:30pm Userland System Calls
- Current system call interface:
- Overview
- Challenges
- Goals
- Alternatives
- Current system call interface:
- 4:30pm-5:30pm Breakouts 2: Userland System Calls
- 5:30pm-6:00pm Report backs