Tag Archives: DEPMOD

Xcompile RPI Kernel on Debian

Building an RPI 3.6.11 kernel with PPS support on GPIO pin 24.

Straight forward instructions with no BS and no fancy crap.

PSA: To people writing how-to’s, keep your shiny Linux CLI kung-fu on your resume and off your blog.

If you are interested in compiling a custom kernel for other reasons just skip/replace the PPS specific junk below.

Install Debian.

Add Emdebian to sources.list:

# Xcompile Toolchain
deb http://www.emdebian.org/debian/ squeeze main

Install the packages we need:

apt-get install emdebian-archive-keyring
apt-get install gcc-4.4-arm-linux-gnueabi

Create directories for your build:

mkdir /admin
mount /admin