kernel - osdevを学習するのに十分な小さなカーネルはありますか？

Question

osdevについてもっと知りたいです。そこで、osdevをより良くするために、他の小さなカーネルから学ぶことを考えました。osdevを学習するための良いカーネルはありますか？もちろん、ソースコードにアクセスして自由に変更できるように、GPLである必要があります。

Answer 1

1. FreeRTOSは可能な限り小さいです。カーネルイメージはわずか4K-9Kです！これはRTOSですが、OS全般についても公正なアイデアが得られます。

2. Minixは多くの人が好むもう1つのものです！それほど小さくはありませんが、教育界では非常に人気があります。

3. FemtoOSもあなたの興味を引くかもしれません！

4. TinyOSも同様の目的を果たします！

私がリストしたもののほとんどは、埋め込まれた世界から来ています。サイズとシンプルさが重要だからです！

Answer 2

http://www.stanford.edu/class/cs140/projects/pintos/pintos.html

PintOSは、上記のもう1つの追加機能です。非常に単純なフレームワークと実装は、非常に理解しやすいものです。学生にOSの設計と実装を紹介するためによく使用されます。

Answer 3

それ自体はカーネルではありませんが、独自のカーネルを作成するためのチュートリアルなので、役立つかもしれません。

自分のおもちゃのUNIXクローンOSをロールバックする

編集：上記のリンクは無効になりました。代わりにこれを試してください。