＞規模は小さいけどMinixがすごく簡単かと言うと疑問だけどな

もちろん簡単じゃないよ。でも説明が丁寧だから学習には向いている。
Minixを載せるにはPiのハードを理解してドライバーを作る必要があるわけでそういうところ
を丁寧に説明したものが欲しい。
というわけで例えばメディア（SD）部分を解説して実験できるようにするだけでもPiを使えば
非常に良い勉強になる。Minix1冊分程度の説明はSDカードアクセスだけでも必要だろうけど。

Piドライバー学習シリーズ（解説　２０００ページ）
Pi　SD学習モデル　
Pi　USB学習モデル
Pi　LAN学習モデル
みたいなのがあるといいよな。