A script to build the Raspberry Pi kernel.

build_rpi_kernel.sh

#!/bin/bash

# For Ubuntu.
# Cobbled together from:
#   http://elinux.org/RPi_Kernel_Compilation
#   http://mitchtech.net/raspberry-pi-kernel-compile/
# Assumes you already have https://github.com/raspberrypi/linux cloned at ~/rpi

cd ~/rpi/linux

# Get some packages
sudo apt-get install gcc-arm-linux-gnueabi make ncurses-dev

# Configure the kernel
make ARCH=arm CROSS_COMPILE=/usr/bin/arm-linux-gnueabi- bcmrpi_cutdown_defconfig

# Then build the kernel.
make ARCH=arm CROSS_COMPILE=/usr/bin/arm-linux-gnueabi- -k