Other Operating Systems - Practical Raspberry Pi - page 202

Find your SD card's whole block device entry and write the whole image to it; in my case the device is /dev/sde
and the command would be as follows:
# dd if=ro519-rc6-1876M.img of=/dev/sde
While that image is writing, take a look at Figure 11-4 to see the contents of the SD card.
Figure 11-4. The contents of the RISC OS SD card
There is not much on the SD card. You will have the firmware, the RISC OS image, and a config file that will allow
you to set the GPU memory. There is a small difference between the Raspberry Pi and a traditional RISC OS machine.
The RISC OS operating system is normally sorted on a ROM filesystem or inside flash memory on the machine and
not on the first hard disk. This traditionally made RISC OS has an amazingly fast boot-up time and very little operating
system corruption. Given that the Raspberry Pi only has the SD card slot you won't be able to boot it like a traditional
RISC OS machine. Not to worry: you will still get very fast speeds from the SD card.
By now your RISC OS image should be written to your SD card. Insert the SD card into the Raspberry Pi and
power on. If all is good you will see a boot screen like in Figure 11-5 .
Figure 11-5. The RISC OS boot screen