Rustをフル活用したリアルタイムOS「Tock」の特異性

図7　GitHubに上がっているTock Overviewより。Syscall I/Fは、それぞれのプロセスとの間に挟まる薄く描かれたライブラリ（libtock/libtock-rs/etc……）で実現される［クリックで拡大］