Compiling kernel.img

Previous step: Running cmake

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. Its name depends on the Pi Model, and will be one of:

• kernelrpi.img
• kernelrpi2.img
• kernelrpi3.img
• kernelrpi8-32.img

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

bash ./release.sh

which will place them under a subdirectory of releases/ and also make a zip archive.

Next: Deploying on a Pi