Unlike the average PC, the Raspberry Pi doesn’t ship with a tweakable BIOS menu, and it's pre-configured to boot from the microSD card. As such, you’ll have to manually switch the boot media from the ...