How to download the kernel source for a particular BSP

Hi @yoshida , if only the spi is going to be enabled by device tree overlay, you don’t need to download and compile kernel, just activate colibri-imx6-eval_spidev_overlay.dtbo in /boot/overlays.txt

root@colibri-imx6:~# cat /boot/overlays.txt 
fdt_overlays=colibri-imx6-eval_spidev_overlay.dtbo
root@colibri-imx6:~# ls /dev/|grep spi
colibri-spi-cs0
spidev3.0

Since it is now your customized kernel 5.4.129-37365-gcb88cc157bfb-dirty, kernel modules need to be built and deployed against your kernel source code. This is how to build them.