Tock Logo

TockWorld 6

TockWorld 6 will take place at the University of Virginia in Charlottesville, VA on July 26-28, 2023.

The first day will be a Tock Training Workshop, the second day will be focused on technical development of Tock OS, and the third day will be focused on the ongoing management and governance of the Tock project.


Thornton Hall E303 (upstairs in the SE corner of Thornton Hall).


Wednesday, July 26, 2023: Training Workshop

Please see the dedicated tutorial webpage for details and registration.

Thursday, July 27, 2023: TockWorld Discussion Day 1

Time Topic Speaker(s)
8:30 Breakfast
9:15 The State of Tock [slides]
  • The Big Picture
  • Since TockWorld 5
  • Coming Soon: The Tock Foundataion
Amit Levy
9:45 Kernel soundness, size, and ergonomics
  • ufmt in the kernel
  • Adding blocking command syscall
  • Implementing zerocopy APIs
  • Results of a small async runtime experiment
  • Improving MMIO soundness
Alyssa Haroldsen
10:30 The Current and Future State of Networking
Thread & 802.15.4 [slides] Tyler Potyondy
Other Wireless PHYs: LoRa, BLE [slides] Branden/Pat
Ethernet Leon Schuermann and Cristian Cirstea
Other Wired PHYs: CAN, etc Alexandru (or students)
Open discussion re: networking
12:45 Lunch
13:45 A Check-In on Development Focus Areas
  • Code Size
  • Pluggable/blocking syscalls
  • Connectivity
  • Testing
Hudson Ayers
14:30 Discussions: Vision & Development Focus Areas (1)
  • Where do we want the project to go in the next 3-5 years?
  • Where is effort being spent?
  • What are the current pain points?
  • Breakout Groups:
    • Networking
    • Blocking Commands
    • Goals and Future
Brad Campbell
15:15 Break and regroup
15:30 Discussions: Vision & Development Focus Areas (2) Brad Campbell
16:15 Regroup & Synthesis of Breakouts Tock Core Team
18:00 Dinner

Friday, July 28, 2023: TockWorld Discussion Day 2

Time Topic Speaker(s)
8:30 Breakfast
Downstream Users
9:15 Tock+OxidOS Alexadru Radovici
9:45 Tock+Google Alyssa Haroldsen
10:15 Call setup
10:30 Tock+OpenTitan Dominic Rizzo (remote; 7:30 local)
11:00 Tock+OpenTitan CryptoLib Integration Leon Schuermann
11:30 Open discussion re: downstream users Tock Core Team
12:00 Lunch
12:30 Walking tour of UVA
13:45 Tock Foundation: Vision Amit Levy
14:45 Tock Foundation: Hiring
  • Job description brainstorming
Brad Campbell
15:15 Break
15:30 Tock Foundation: Community Engagement
  • Ecosystem discovery
  • Strategic partners
  • Potential partners
Amit Levy
16:00 Break
16:15 Tock World 7: Planning
  • Location?
  • Agenda?
  • Growth?
Pat Pannuto
16:45 Summary & Final Thoughts Amit Levy
17:00 Go catch flights, see you next year!




If you have any allergens or dietary restrictions, please let Brad know in advance. There will be vegetarian options at all meals.

A light breakfast and coffee service will be provided each morning of the main workshop.

Lunch will be provided each afternoon. Dinners will generally be on your own.

We may try to organize a group dinner one evening if folks are interested.


There are few options for getting to Charlottesville, VA.


Airport options:


Charlottesville has an Amtrak station right downtown served by two Amtrak lines.

You can also fly into washington area airports and connect down via Amtrak. There are usually 3-4 trains daily between WAS and CVS.

The most convenient airport is DCO, which is a 30 minute Metro ride to the Amtrak station. You can also fly into IAD, but that is closer to a 1h15m Metro connection. Similarly, you can take commuter rail from BWI, which is also about a 1h15m trip to WAS Union Station.


Charlottesville is a 2.5 hour drive from DC, 1 hour drive from Richmond, 3.5 hour drive from Raleigh-Durham, 4.25 hour drive from Philadelphia, or 6 hour drive from NYC.



There are several hotels near UVA and downtown. This is not a comprehensive list, just the hotels we typically book when hosting visitors:

Close But Not Walkable

There are many options that are close driving distance, here are just a couple:

Have Money to Spend

Charlottesville also caters to those who need to spend money before it expires: