ラズパイ3での動作確認のために毎回microSDカードを書き換えるのは面倒なので、 U-Bootを使用してネットワーク経由でkernel8.imgをRAMの0x80000以降にダウンロードし、起動してみます。 なお、Raspberry Pi 3で64bitベアメタル(bare metal)プログラミングを…