Raspberry Pi/Installation

The Raspberry Pi is an ARM device (BCM2835, ARMv6) with 256 MB RAM and uses an SD(HC) card for storage. This document describes how to install Gentoo on the Raspberry Pi. = Preparing the SD card =

Partitioning
Check that your SD card is compatible.

Create at least two partitions on the card. One FAT32 for the boot partition, and one (with your preferred filesystem) for the root partition.

For optimal compatibility, it is recommended to use 255H/63S geometry by:

boot
The /boot partition needs the following proprietary firmware files, provided by the Raspberry Pi foundation:

Create a file called cmdline.txt containing the necessary kernel parameters. Example:

stage3
Download the appropriate stage3:

Extract to the root filesystem on the SD card:

Don't forget to adjust /etc/fstab and /etc/shadow root password.

= Compiling the kernel =

crossdev
Install crossdev:

Create a cross toolchain for ARM: (drop -S if you plan to run an unstable system)

Kernel and modules
Download kernel sources for Raspberry Pi from github then configure, compile and install:

Create a kernel.img file using the Raspberry Pi mkimage tool from github:

That's it! You should all be set now.

= Tips and Tricks =
 * Storage is rather slow, even with the couple of compatible SDHC class 10 cards. If you want to run emerge on the Raspberry Pi, putting /usr/portage on squashfs will speed up things dramatically.
 * There is no hardware RTC on the Raspberry Pi. Use the /etc/init.d/ntp-client init script to set correct time at boot.
 * If you require more RAM for Linux, use one of the alternative GPU firmware files that reduce the amount reserved for video memory.