Lihat sumber untuk IGN-ARM dan Driver GPU Video Core 4

Panduan ini untuk melakukan kompilasi kernel yang dilengkapi dengan driver video core 4. Video Core 4 (VC4) adalah GPU yang dipakai oleh Raspberry generasi 1 dan Raspberry Pi 2. Kompilasi kernel dilakukan langsung dari Raspberry. 

== Pasang ==
 #
 sudo yum -y install 

== Ambil source ==
 #
 mkdir /root
 cd /root
 wget https://github.com/anholt/linux/archive/vc4-kms-v3d-rpi2.zip
 unzip linux-vc4-kms-v3d-rpi2.zip

== Atur .config ==
Beberapa pengaturan harus dilakukan. Pengaturan ada di berkas .config

=== Pakai defconfig ===
 $
 cd vc4-kms-v3d-rpi2
 make bcm2709_defconfig

=== Tambahkan konfigurasi untuk VC4 ===
 $
 echo CONFIG_DRM_VC4=y >> .config
 echo CONFIG_CMA_SIZE_MBYTES=128 >> .config

=== Pengaturan melalui menuconfig ===
 make menuconfig 
 echo "Aktifkan konfigurasi tertentu...

== Pasang label ign ==
 $
 sed -i 's/EXTRAVERSION =.*/EXTRAVERSION = ign/' Makefile
 
== Build ==
 make -k -j6
 make modules
 make modules_install
 cp arch/arm/boot/zImage /boot/kernel7.img

== Tes kernel baru ==
 #
 echo "Lakukan boot ulang Raspberry Pi 2"
 reboot

== Referensi ==
* http://broken.build/2012/02/12/custom-kernel-on-fedora/
* https://akanto.wordpress.com/2012/09/25/cross-compiling-kernel-for-raspberry-pi-on-fedora-17-part-1/
* https://devzone.nordicsemi.com/blogs/678/building-kernel-for-rpi2-with-bluetooth_6lowpan-fo/