We’ll be giving tutorials this summer and fall. For registration and details head over to the event pages:
Safely use drivers and kernel extensions from third parties
Run processes reliably with minimal resource overhead
Automatic low power operation
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, 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.
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.