I’ve been working on a 4.4 kernel for the raspberry pi and got annoyed with doing things manually. The adafruit Kernel-o-Matic is great but a bit buggy and doesn’t support the latest kernels, firmware and toolchains.
So here is it:
Re4son’s Kernel Builder for Raspbery Pi
Created for kernel version 4.4 and newer
raspberry toolchain published 17-May-2016 and later
raspberry firmware released 4-May-2016 and later
Just fire up you’re favorite linux machine and enter:
git clone https://github.com/Re4son/re4son-kernel-builder.git kernel-builder
If running on a 64bit machine, install additional 32bit packages required by the toolchain:
edit build.sh and set the variable KERNEL-BUILDER_DIR= to the kernel builder directory.
Default is “/usr/local/src/kernel-builder”.
Start building with default settings:
sudo re4sonbuild -h
usage: re4sonbuild [options]
This will build the Raspberry Pi Kernel.
-h Show this message
-r The remote github kernel repo to clone in user/repo format
-b The git branch to use
Default: Default git branch of repo
-1 The config file to use when compiling for Raspi v1
-2 The config file to use when compiling for Raspi v2