Tock Logo

Tock Tutorial @ SenSys 2018

SenSys Tock Tutorial, Sunday, November 4th in Shenzhen

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”).



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:

Direction Times
To Workshops 8:30am, 11:00am, and 12:30pm
To Hotel 13:30pm, 17:00pm, and 18:30pm

Schedule and Agenda

09:30-10:40 Intro to Tock, Development Environment & Hardware
10:40-11:00 Coffee break
11:00-12:00 Userland programming
12:00-13:30 Lunch
13:30-15:20 Practicum: Find the bug!
15:20-15:40 Coffee break
15:40-17:30 Practicum: Fix the bug!
  1. The Tock VM has been deprecated. Please follow the guidelines in the Tock book for latest environment setup.