Difference between revisions of "Orchard Firmware Developer's Guide"
(Created page with "=Orchard Firmware Developer's Guide= For the sake of convenience, Orchard firmware development, including compilation, flashing, and manufacturing provisioning is all done wi...") |
|||
| Line 3: | Line 3: | ||
For the sake of convenience, Orchard firmware development, including compilation, flashing, and manufacturing provisioning is all done with a single tool: A Raspberry Pi. | For the sake of convenience, Orchard firmware development, including compilation, flashing, and manufacturing provisioning is all done with a single tool: A Raspberry Pi. | ||
| − | + | Recommended tools: | |
| + | * Raspberry Pi 2 Model B with 8 GB microSD card | ||
| + | * Firmware image: [http://bunniefoo.com/orchard/orchard-pi-dev.img.gz Raspberry pi Orchard development SD disk image] | ||
| + | * A Linux machine to write the initial firmware image out | ||
| + | * Jumper cables, 5-wire (for SWD) and 2-wire (for UART) | ||
| + | |||
| + | ==Quickstart== | ||
| + | # Download the [http://bunniefoo.com/orchard/orchard-pi-dev.img.gz RPi firmware image] (~2.5GiB). | ||
| + | # Image the downloaded firmware onto an SD card using the following Linux command: | ||
| + | zcat orchard-pi-dev.img.gz | sudo dd of=/dev/sdX bs=1M | ||
| + | Note that /dev/sdX is the device node of the SD card as mounted on your Linux system. If you don't know what we're talking about, be careful, because if you pick the wrong /dev/sdX node you'll end up destroying your local system boot disk. | ||
| + | # Insert card into RPi and boot. | ||
Revision as of 07:56, 27 May 2015
Orchard Firmware Developer's Guide
For the sake of convenience, Orchard firmware development, including compilation, flashing, and manufacturing provisioning is all done with a single tool: A Raspberry Pi.
Recommended tools:
- Raspberry Pi 2 Model B with 8 GB microSD card
- Firmware image: Raspberry pi Orchard development SD disk image
- A Linux machine to write the initial firmware image out
- Jumper cables, 5-wire (for SWD) and 2-wire (for UART)
Quickstart
- Download the RPi firmware image (~2.5GiB).
- Image the downloaded firmware onto an SD card using the following Linux command:
zcat orchard-pi-dev.img.gz | sudo dd of=/dev/sdX bs=1M
Note that /dev/sdX is the device node of the SD card as mounted on your Linux system. If you don't know what we're talking about, be careful, because if you pick the wrong /dev/sdX node you'll end up destroying your local system boot disk.
- Insert card into RPi and boot.
