Tock 2017 - Tock Operating System Tutorial

The Tock operating system (TockOS) is a secure, embedded kernel for sensor network and IoT systems using CortexM 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. Attendees will be provided hardware kits, which they may optionally purchase as part of the registration fee.
Presenters:
Philip Levis (Stanford University, USA)
Amit Levy (Stanford University, USA)