This is just a set of scripts to rebuild a known working kernel for ARM devices. This git repo contains just scripts/patches to build a specific kernel for some ARM devices.
Please send bug reports to "[email protected]".
A cross compiler and the kernel source will be downloaded when you run any of
the build scripts. By default this script will clone the
linux-stable
tree to ./ignore/linux-src
with full history.
If you've already cloned torvalds tree and would like to save some hard drive
space, just modify the LINUX_GIT
variable in system.sh
to point to your
current git clone directory.
For users building the
linux-stable
tree with full history, at least 1GB of memory should be available for git(1)
to clone the repository. If this is a problem for your build system, you can
use a swap file to add more memory to your system.
To create a swap file on disk, you can run the following commands as a privileged user.
dd if=/dev/zero of=/swapfile bs=1024 count=1024k
mkswap /swapfile
swapon /swapfile
The preferred way of building the Linux kernel et al. is to build the Debian package. This has a number of advantages, including the ability to build the package on a host other than the one you install it on.
To build a Debian package one can use the following command.
./build_deb.sh
Optionally, to build the kernel image as a tar achive, use the following command.
./build_kernel.sh
To install a Debian package, use the following commands.
dpkg -i <deb>
To install the kernel image to an SD card (requires MMC
variable set in
./system.sh
) use the following.
./tools/install_kernel.sh
To install the kernel image to the local system use the following. Note, the kernel must've been built on the ARM board for this command to work.
./tools/local_install.sh
For development, one must first run ./build_kernel.sh
, then use the files
inside of the KERNEL
directory for your local kernel development. To rebuild
the kernel with local modifications, use the ./tools/rebuild.sh
script.