Get the latest tech news
A secure embedded operating system for microcontrollers
Tock is a safe, multitasking operating system for low-power, low-memory microcontrollers.
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.
Or read this on Hacker News