$ 0 0 Raspberry Pi – how to boot from a USB mass storage device such as a flash drive or a USB hard disk