Hardware Reference
In-Depth Information
Figure 11-17.
The contents of the Plan 9 SD card image
A few files may interest you. The first one is
config.txt
; unlike in Fedora this file is well commented and easy to
use. The first line of this file will set which kernel is booted when you power on the Raspberry Pi. By default, that will
be the
9pi
terminal image. You could change this to
9picpu
just to get a CPU server rather than a terminal (useful for
you if you have a cluster of Raspberry Pis in your possession). It's wise to leave the kernel set to
9pi
for the first time.
Looking back at the main directory again, you will see the
9picpu
file and the
9pi
file that I just talked about.
These are the two systems you can boot. The default
cmdline.txt
file will ensure that Plan 9 boots all the way into the
rio window manager without your intervention.
The rest of the files can be left alone or are similar files as you would find on any other boot partition for the
Raspberry Pi. For your first boot of Plan 9 you should not need to edit any files on the SD card. Insert the SD card into
the Raspberry Pi and connect an HDMI cable, mouse, and keyboard. When you turn on your Raspberry Pi and your
image is good, you will be greeted with a boot message like you see in Figure
11-18
.