Page | 8
3
Linux Operating System
This chapter will introduce how to update an SD card and NAND Flash, and
boot a Linux system from them respectively.
3.1
Updating and Booting from an SD Card
1.
You can download the HP USB Disk Storage Format Tool 2.0.6
from:
http://www.embest-tech.com/resource/download/HP-USB-Disk-S
And use it to format an SD card; the figure shown below is the tool’s
interface;
Figure 7: Format SD Card