サクサク読めて、アプリ限定の機能も多数！
The world's first operating-system kernel with an end-to-end proof of implementation correctness and security enforcement is now open source.
meech のブックマーク 2015/01/15 04:19
このブックマークにはスターがありません。 最初のスターをつけてみよう！
sel4.systems2014/07/29
20 人がブックマーク・7 件のコメント
＼ コメントが サクサク読める アプリです ／
The world's first operating-system kernel with an end-to-end proof of implementation correctness and security enforcement is now open source.
このブックマークにはスターがありません。
最初のスターをつけてみよう！
https://sel4.systems/home.pml
20 人がブックマーク・7 件のコメント
＼ コメントが サクサク読める アプリです ／