Debian Recovery SD card

From Variscite Wiki

- Debian recovery SD card

Variscite provides a recovery SD card image that can be used to install the pre-built Debian images into the internal storage device of the SOM.

Download the recovery SD card image

Download the latest recovery SD card from Variscite: [/ ]

The easiest way to download files from the file server using the Linux command line is to use wget:

$ wget / 

Write the image to an SD card

During the SD card image writing all files and partitions are erased from target device.
Double check that the device is correct to avoid accidentally overwriting a different device and potentially damaging your existing operating system.

Using a Linux based host

Plug-in the SD card to your Linux host PC, run dmesg and see which device is added (i.e. /dev/sdX or /dev/mmcblkX)

$ sudo umount /dev/sdX?*

# For . files:
$ zcat <image name>.. | sudo dd of=/dev/sdX bs=1M && sync

(Replace /dev/sdX with your actual device)

Using a Windows based host

  • Download Win32 Disk Imager from: and install it.
  • Extract the downloaded image:
    • For extracting a .gz file the latest 7-Zip can be used, for example.
    • For extracting a .zst file the latest WinRAR can be used, for example.
  • Insert your SD card into your PC.
    No need to format the SD card before writing the image to it, as the card will be formatted once it will be flashed.
  • Run the file named Win32DiskImager.exe (in Windows 7, 8 and 10 we recommend that you right-click this file and choose “Run as administrator”). 
  • If the SD card (Device) you are using isn’t found automatically. Click on the drop down box and select it.
  • In the Image File box, choose the .img/.wic file you have extracted previously.
  • Click Write.
  • After a few minutes, you receive a notification that your SD has been created successfully.

Using a Mac OS X host

Use the dd Utility for MAC OS X to flash .img/.wic files to your SD card

Recover NAND flash/eMMC

  • Power-off the board.
  • Insert the SD card into the SD card slot of the carrier board (DVK)
  • Make sure the Boot DIP switches are set to SD card: Setting the Boot Mode
  • Power up the board - it will boot into Linux from the SD card

Flash from command line

  • Login as root (password 'root')
  • From Linux command line, type the following
$	- Flash Debian into eMMC

SD card image file tree

└── Debian
    ├── rootfs.tar.gz
    └── imx-boot-sd.bin
The script file is located at /usr/sbin/