i.MX 93 BSP Manual PD24.1.1 Documentation Rev.: imx8mp-pd22.1.2-51-ga548be7d
• For (re-)building only Devicetrees and -overlays, it is sucient to run
host:~/linux-imx$ make dtbs
Note
If you are facing the following build issue:
scripts/dtc/yamltree.c:9:10: fatal error: yaml.h: No such file or directory
Make sure you installed the package “libyaml-dev” on your host system:
host:~$ sudo apt install libyaml-dev
5.6.3 Copy Kernel to SD Card
When one-time boot via netboot is not sucient, the kernel along with its modules and the corresponding
device tree blob may be copied directly to a mounted SD card.
host:~/linux-imx$ cp arch/arm64/boot/Image /path/to/sdcard/boot/
host:~/linux-imx$ cp arch/arm64/boot/dts/freescale/imx93-phyboard-segin.dtb /path/to/sdcard/boot/
,→oftree
host:~/linux-imx$ make INSTALL_MOD_PATH=/path/to/sdcard/root/ modules_install
5.7 Format SD-Card
Most images are larger than the default root partition. To ash any storage device with SD Card, the rootfs
needs to be expanded or a separate partition needs to be created. There are some dierent ways to format
the SD Card. The easiest way to do this is to use the UI program Gparted.
5.7.1 Gparted
• Get GParted:
host:~$ sudo apt install gparted
• Insert the SD Card into your host and get the device name:
host:~$ dmesg | tail
...
[30436.175412] sd 4:0:0:0: [sdb] 62453760 512-byte logical blocks: (32.0 GB/29.8 GiB)
[30436.179846] sdb: sdb1 sdb2
...
• Unmount all SD Card partitions.
• Launch GParted:
host:~$ sudo gparted
Development 33