Specifications

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
torage-Format-Tool.rar
And use it to format an SD card; the figure shown below is the tool’s
interface;
Figure 7: Format SD Card