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
• 4:30pm-5:30pm Breakouts 2: Userland System Calls
• 5:30pm-6:00pm Report backs