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