Xv6

LinuxやBSDとは異なり、xv6は1セメスターで学習するのに十分なほどシンプルであり、Unixの重要な概念と構造を含んでいる ^[1]。 このコースでは、オリジナルのV6のコードを学習するのではなく、xv6を使う。それは、PDP-11マシンは簡単には手に入らないし、オリジナルのV6は非常に古いANSI C以前のC言語で書かれているためである。

xv6のMakefileの面白い特徴として、ソースコード全体を読みやすい形式で掲載したPDFファイルを生成するオプションを持っていることが挙げられる。 ソースコード全体は、たった92ページであり、これにはクロスリファレンスが含まれている ^[2]。 これは、オリジナルのV6のソースコードが、Lions' Commentary on UNIX 6th Edition, with Source Codeとして、出版されたことにちなんでいる。

xv6は以下の大学のオペレーティングシステムのコースでも使われている。

• ラトガース大学^[3]
• イェール大学^[4]
• コロンビア大学^[5]
• ベングリオン大学^[6]
• ジョンズ・ホプキンス大学^[7]
• 清華大学^[8]
• ウィスコンシン大学マディソン校^[9]
• リンナエウス大学^[10]

• TrustKernelによるT6^[11] セキュアカーネルは、ARMにポートされたxv6 OSであり、中国では多くのセキュアフォンで実際に使用されている。

xv6をARMアーキテクチャへ移植し ^[12] 仮想記憶をサポートするように拡張する活動がある。 ^[13]、 また、別のプロジェクトでは、新しいプロセススケジューラー ^[14] とネットワーク機能を追加しようとしている ^[15]。 また、MITのコースから派生したプロジェクトの多くが、カーネルに新しい機能を追加している。