Tock: embedded operating system for concurrent mutually distrustful appstockos.org1 pointingve9 years ago