2020-05-30

TF-A と EDK II が Raspberry Pi 3 (RPi3) にポーティングされているということで、これらをビルドして Linux kernel の起動までの手順を追ってみました。