Compiling kernel.img

Make sure you are in the scripts directory: cd src/scripts

Run the makefile:

make -Bj

(The -B flag forces a clean build, the -j flag speeds up the build by compiling on multiple cores)

There should be no errors or warnings, and the kernel should have been created. It's name depends on the Pi Model, and will be one of:

• kernelrpizero.img
• kernelrpi.img
• kernelrpibplus.img
• kernelrpi2.img
• kernelrpi3.img

If you want to make all kernels at once you can use :

bash ./release.sh

Next: Deploying on a Pi