| CARVIEW |
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.
-
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 build applications and 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 need to run for months on small batteries and low-memory microcontrollers, to support third-party apps just like PC-grade operating systems.
