この章では、Raspberry PI 4向けにあらかじめビルドされたイメージをSDカードに書き込んで動かす方法を説明します。
Windows PCを使用している人はWindows PC向けの手順を、Linux PCを使用している人はLinux PC向けの手順を参照してください。
プレビルドイメージのダウンロード
AGLコミュニティでは、すでにビルド済みのイメージを提供しています。現時点での最新リリースPikeです。
ダウンロードリンクからWebブラウザを使用してプレビルドイメージをダウンロードしてください。ダウンロードに成功すると、agl-demo-platform-crosssdk-raspberrypi4-64.wic.xzというファイルができます。
ダウンロードリンク
ダウンロード後の例
ダウンロードしたブレビルドイメージのSDカードへの書き込み
ツール(Raspberry Pi Imager)のダウンロード
WindowsでプレビルドイメージをSDカードに書き込む場合、Raspberry PI公式サイトで配布されているRaspberry Pi Imagerを使うのが簡単です。
リンク
https://www.raspberrypi.com/software/
リンク先のページでDownload for Windowsを選択し、ダウンロードとインストールをしてください。
D
SDカードへの書き込み
Raspberry Pi Imagerを起動してください。起動するとメニュー画面が表示されます。
メニュー画面
最初に
Raspberry PI デバイス選択画面
