The Tock operating system is a secure, embedded kernel for sensor network and Internet of Things systems using Cortex-M micro controllers. Written in the Rust language, it supports kernel extensions in Rust as well as multiple concurrent applications written in C, Rust, or Lua. This tutorial will give an introduction to programming in Tock as well as an overview of its architecture. Attendees will write a user-land networking application in C as well as a kernel extension in Rust.
Register here (make sure to sign up for the “Workshops”).
Amit Levy (Princeton University)
Phil Levis (Stanford University)
Please bring a laptop to use during the tutorial and download the Tock VM1 in advance. If you prefer to develop natively, please finish the Tock Getting Started guide so that everything is downloaded in advance.
Location & Transportation
The tutorial will be held at Southern University of Science and Technology, Teaching Building 1, Shenzhen. We will be in Room 301.
There will be buses from the conference hotel and back at the following times:
|8:30am, 11:00am, and 12:30pm
|13:30pm, 17:00pm, and 18:30pm
Schedule and Agenda
|Intro to Tock, Development Environment & Hardware
|Practicum: Find the bug!
|Practicum: Fix the bug!