1つだけ、なおしてチェックインしました。
旧
具体的には、Raspberry Pi
は上流のカスタムカーネルのバージョンではなく、現在のファームウェアの例外の下で許容されていない特別なGPUのバイナリーブロブに依存しています。
新
具体的には、Raspberry Pi
は上流のカーネルのバージョンではなく、カスタムカーネルに依存しています。さらに、それは、現在のファームウェアのライセンス例外の下で許容されていない特別なGPUのバイナリーブロブに依存しています。
ファームウエアは、GPLのカーネルとともに動くけど、バイナリでよいという話があって、さらにフェドーラのライセンス規定があるらしいのですが、私はよくわかりません。
http://lists.fedoraproject.org/pipermail/devel-announce/2012-October/0009...
F18は年明けになってしまいましたね。リリースノートにも、インストールのセクションなど、ベータ版としての記述があるから、まだ変更が入りそうですね。
ではみなさまよいお年を。