User manual

Page | 62
Select FAT32 in the File system drop-down menu, and then click Start to
format the SD card.
Note:
 HP USB Disk Storage Format Tool will erase the partitions of SDTF card.
 Use other format tool may cause the failure of the TF card booting
2. Updating Image Files;
Copy all the files under X:\linux\image\ to an SD card (where X is the label
of your DVD drive), and then insert it into the SBC8140 and power on the
system; the information on the serial interface is shown below;
Texas Instruments X-Loader 1.47 (Mar 1 2013 - 17:05:22)
Starting X-loader on MMC
Reading boot sector
231872 Bytes Read from MMC
Starting OS Bootloader from MMC...
Starting OS Bootloader...
U-Boot 2010.06-rc1-svn84 (Mar 04 2013 - 12:00:27)
OMAP3630-GP ES2.1, CPU-OPP2 L3-133MHz
OMAP3 SBC8140 board + LPDDR/NAND
I2C: ready
DRAM: 256 MiB
NAND: 512 MiB
*** Warning - bad CRC or NAND, using default environment
In: serial
Out: serial
Err: serial
Die ID #3d1400029e3800000168682f07003018
Net: dm9000
Hit any key to stop autoboot: 0
mmc1 is available
reading boot.scr