Raspberry Pi で u-boot

ええと以下によれば

• http://metanest.jp/sysprogharawata/raspi/raspi.html

SDCard の FAT な最初のパーティションにある config.txt に

kernel=u-boot.bin 

という記述を追加すれば u-boot 経由で起動が可能になる模様。とりあえず u-boot の作り方から云々ですが色々確認してみたいと思っています。
控えが残せるようであれば追記するかも。

追記

どうやら以下リポジトリから clone して

• https://github.com/gonzoua/u-boot-pi

rpi なブランチを checkout すれば良い模様。明日もごもごできるかな。