Follow these steps to update the Linux kernel image and device tree on the SD card.
For example, $ git checkout -b LSDK-18.09-V4.14 LSDK-18.09-V4.14
where LSDK-18.09-V4.14 refers to a tag in the format LSDK-<LSDK version>-V<kernel version>If you want to make changes to the device tree, open and edit arch/arm64/boot/dts/freescale/fsl-ls1088a-rdb.dts
The binary kernel image Image and compressed kernel image Image.gz are in arch/arm64/boot/.
The device tree blob fsl-ls1088a-rdb.dtb is in arch/arm64/boot/dts/freescale/.
Use the command cat /proc/partitions to see a list of devices and their sizes to
make sure that the correct device names have been chosen.
The SDHC storage drive in the Linux PC is detected as /dev/ sdX, where X is a letter such as a, b, c. Make sure to choose the correct device name, because data on this device will be replaced.
If your Linux host machine supports read/write SDHC card directly without an extra SDHC card reader device, the device name of SDHC card is typically mmcblk0.
sudo cp /linux/arch/arm64/boot/Image /linux/arch/arm64/boot/Image.gz /linux/arch/arm64/boot/dts/freescale/fsl-ls1088a-rdb.dtb <mount_location>
If U-Boot does not find LSDK on the SD card, it will boot TinyDistro from lsdk_linux_arm64_ tiny.itb stored on the SD card.