SDカード上のLinuxカーネルイメージとデバイスツリーを更新するには、次の手順に従ってください。
たとえば、$ git checkout -b LSDK-18.09-V4.14 LSDK-18.09-V4.14 のようになります。
ここで 、 LSDK-18.09-V4.14 は、 LSDK-デバイスツリーに変更を加える場合は、arch/arm64/boot/dts/freescale/fsl-ls1088a-rdb.dts を開いて編集してください
バイナリカーネルイメージ の Image と圧縮されたカーネルイメージ の Image.gz は arch/arm64/boot/ にあります。
デバイスツリー blob fsl-ls1088a-rdb.dtb は arch/arm64/boot/dts/freescale/ にあります。
cat /proc/partitions コマンドを使用して、デバイスとそのサイズの一覧を表示します。
正しいデバイス名が選択されていることを確認してください。
Linux PC の SDHC ストレージドライブは /dev/sdX として検出されます。X は a、b、c などの文字です。必ず正しいデバイス名を選択してください。このデバイス上のデータは上書きされます。
Linux ホストマシンが追加の SDHC カードリーダーなしで SDHC カードの読み書きを直接サポートしている場合、そのデバイス名は通常 mmcblk0 になります。
sudo cp /linux/arch/arm64/boot/Image /linux/arch/arm64/boot/Image.gz /linux/arch/arm64/boot/dts/freescale/fsl-ls1088a-rdb.dtb
U-Boot が SD カードに LSDK を見つけられない場合、起動します SDカードに保存されている lsdk_linux_arm64_tiny.itb のTinyDistro 。