サクサク読めて、アプリ限定の機能も多数!
マイクロカーネルの形式証明について調べてみよ。
kirakking のブックマーク 2019/12/15 10:37
CとRustで一から作るマイクロカーネルOS[linux][rust]マイクロカーネルの形式証明について調べてみよ。2019/12/15 10:37
このブックマークにはスターがありません。 最初のスターをつけてみよう!
seiya.me2019/12/13
マイクロカーネルは浪漫に溢れる非常に作りがいのあるソフトウェアです。この記事は,「マイクロカーネルベースのOSの一から作ってIaaSで動かす」ことを目標に作ったマイクロカーネルベースのOS Resea(りーせあ...
526 人がブックマーク・44 件のコメント
\ コメントが サクサク読める アプリです /
マイクロカーネルの形式証明について調べてみよ。
kirakking のブックマーク 2019/12/15 10:37
このブックマークにはスターがありません。
最初のスターをつけてみよう!
CとRustで一から作るマイクロカーネルOS
seiya.me2019/12/13
マイクロカーネルは浪漫に溢れる非常に作りがいのあるソフトウェアです。この記事は,「マイクロカーネルベースのOSの一から作ってIaaSで動かす」ことを目標に作ったマイクロカーネルベースのOS Resea(りーせあ...
526 人がブックマーク・44 件のコメント
\ コメントが サクサク読める アプリです /