Programming an SD card with the AVR32 Linux file system

A prebuilt AVR32 Linux image for the STK1000 can be found in the BSP CD at /BSP-CD/builds/stk1000/avr32-linux-image.img.gz. Building the AVR32 Linux file system for the STK1000 describes how to build your own file system image.

Linux users

  • Insert an SD card into an SD card reader, and use df to see how it is mounted 
# df

Filesystem  1k-blocks  ...  Mounted on
/dev/hda1   ...        ...  ... 
...         ...        ...  ...
/dev/sda1   ...        ...  /media/usbdisk-1

In this this example we will assume that /dev/sda1 is mounted on /media/usbdisk-1.

  • Format the SD card and create an ext2 file system 
# sudo umount /media/usbdisk-1
# sudo /sbin/e2fsck /dev/sda1
# sudo /sbin/mkfs.ext2 /dev/sda1
# sudo mount /dev/sda1 /media/usbdisk-1
  • Unpack the AVR32 Linux file system included on the BSP CD 
# mkdir /tmp/avr32_image_source
# cd /tmp/avr32_image_source
# cp /bsp-cd/builds/avr32-linux-image.img.gz .
# gunzip avr32-linux-image.img.gz
  • Mount the AVR32 Linux file system image 
# mkdir /tmp/avr32_image
# sudo mount -o loop /tmp/avr32_image_source/avr32-linux-image.img /tmp/avr32_image
  • Copy file system content to SD card 
# sudo cp -a /tmp/avr32_image/* /media/usbdisk-1
  • Unmount SD card to ensure that the SD-card write procedure is completed 
# sudo umount /dev/sda1
  • (optional) unmount the temporary avr32 source folder 
# sudo umount /tmp/avr32-image