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

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

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