Lihat sumber untuk IGN-ARM dan Kernel 4.0

Kernel 4.0 diperoleh dengan melakukan build ulang dari source. Panduan ini untuk melakukan build melalui QEMU atau langsung dari Raspberry Pi 2 (RPI2). Panduan build kernel melalui CROSS_COMPILE ada di panduan lainnya.

== Masuk QEMU atau RPI2 ==
Setelah masuk QEMU atau RPI2 agar praktis, semua perintah dilakukan dengan akses root.

== Pasang Paket ==
 #
 yum -y install gcc make unzip

== Unduh source ==
 #
 cd /root/
 wget https://github.com/raspberrypi/linux/archive/rpi-4.0.y.zip
 unzip rpi-4.0.y.zip

== Atur .config ==
Kongurasi:
 # 
 cd /root/rpi-4.0.y
 echo "Pakai konfigurasi bcm2709"
 make bcm2709_defconfig

 echo "Pakai menuconfig"
 make menuconfig   

== Kompilasi ==
 #
 make
 make modules_install
 make firmware_install
 cp System.map /boot
 cp arch/arm/boot/dts/bcm2709-rpi-2-b.dtb /boot
 rm -f /boot/kernel7.img.old
 echo "Backup kernel lama"
 mv /boot/kernel7.img /boot/kernel7.img.old  
 cp arch/arm/boot/zImage /boot/kernel7.img

== Referensi ==
* ARM – Raspberry Pi 2 – Kernel Compile -> http://rglinuxtech.com/?p=1324
* https://devzone.nordicsemi.com/blogs/678/building-kernel-for-rpi2-with-bluetooth_6lowpan-fo/