Linux Kernel

p ∈ "Linux Kernel"

RaspeberryPi Kernel Compiler

For some reason, it seems the usual way of compiling a Linux kernel does not work on Raspberry Pi platforms ; genkernel also fails. […]

Kernel options setter

From time to time, one needs to check if a number of options are enabled in the kernel. […]