Things on this page are fragmentary and immature notes/thoughts of the author. Please read with your own judgement!

tock-os

tock-os Tock is an embedded operating system designed for running multiple concurrent, mutually distrustful applications on Cortex-M and RISC-V based embedded platforms. Tock's design centers around protection, both from potentially …