The Raspberry Pi is a nice cheap Linux board, but inevitably with anything so new useful information is scattered around the Internet. Here are some articles I found useful, but I’ve made no attempt to be exhaustive or definitive!

Images, kernels, and firmware

The canonical source for SD card images is the RPi download page.1

When I originally wrote this in July 2012, things were a bit complicated but now, in April 2013, ‘just use Raspbian’ seems to be the universal choice.

At the time of editing, 2013-04-01, the 2013-02-09 release2 of Raspbian3 is recommended.

The past is a different country

Progress is a wonderful thing, and I no longer worry about:

Writing the card on the Mac

Happily the key instructions have been documented.8

In essence (change disk3 to suit):

At least on my MacBook Pro, an external USB SD card reader supports a wider range of cards than the laptops’s own SD slot.

Initial configuration

The initial Raspbian boot leads to a menu which allows for some crude configuration.

GPIO and other animals

One of the nice things about the Raspberry is the GPIO interface:9 a set of pins you can control at will.

The kernel exposes most of the functionality in various /dev devices, but Mike McCauley has written a nice library10 to make the process smoother.

Finally there’s an official datasheet11 from Broadcom.