Programmable IoT starts at the edge

An embedded operating system designed for running multiple concurrent, mutually distrustful applications on low-memory and low-power microcontrollers.

We’ll be giving tutorials this summer and fall. For registration and details head over to the event pages:

RustConf 2017 (August 17th, Portland, OR)
SenSys 2017 (November 5th, Delft, The Netherlands)

Extensible

Safely use drivers and kernel extensions from third parties
Reliable

Run processes reliably with minimal resource overhead
Low-power

Automatic low power operation

Sensor Networks

The Signpost is a modular city-scale sensing platform that provides power and connectivity for a diverse set of sensing modules. Signpost is built around Tock, and uses multiprogramming to let researchers to build applications run experiments.
Security critical devices

Security critical devices, like TPMs and USB authentication fobs, are actually multiprogramming environments running applications written by different people. Tock guarantees that untrusted components can’t leak secrets even if they are buggy or crash.
Wearables

Tock enables consumer IoT devices, like sports watches or fitness trackers, that run need to run for months on small batteries and low-memory microcontrollers to support third-party apps just like on PC-grade operating systems.