Written by Pat Hanrahan
Your Raspberry Pi kit contains a Kingston SDHC card. A secure digital (SD) card contains non-volatile memory for storage. The HC in SDHC stands for high capacity.
The Raspberry Pi runs the software on the SDHC card installed in the SD card holder on the bottom of the printed circuit board.
Most laptops contain a SD slot. You need to insert the SDHC card into your laptop, and mount the file system.
When you insert the SDHC card it should mount automatically. You should see it show up in your finder along with other mounted file systems.
Verify that the card is mounted.
% ls /Volumes Macintosh HD NO NAME
By default, the volume is named
Now, download the Raspberry Pi firmware from our Github repository.
There should be 4 files.
% ls firmware blink-actled.bin bootcode.bin bootloader.bin start.elf
bootcode.bin is the bootloader for the GPU and
start.elf is the GPU start up code. Normally,
the linux kernel. In this course, we will run replace the linux kernel with our
Notice there are also two programs,
bootloader.bin. Initially, you should just copy
kernel.img. Thus, when the Pi boots, it runs a program that
blinks the on-board activity (ACT) LED connected to GPIO47. This is a
good way to test whether your Pi is working. If instead, you replace
bootloader.bin, the Pi will boot and run a boot
loader that can be used to upload programs to the Pi. You should
bootloader.bin after you’ve tested that
your Pi works correctly with
Copy these files onto your SDHC Card.
On the Mac, go to the finder and click on the Eject icon next to the file name.
On linux, …
kernel.imghas bugs or becomes corrupted. You can always recover to a known state by copying the original firmware to the SDHC card.