c201-debian-kernel The kernel, ramdisk and dtb are all downloaded from the daily netboot armhf install images. Run ./sign-kernel.sh to create the signed FIT image including ramdisk.