This project contains information for building required boot files that have to the SD card of a Raspberry Pi3.
The notes explains how to build the boot.scr used by u-boot to automatically
configured and download the kernel from the IoT-LAB infrastructure and how
to generate and copy the minimal boot image on the SD card.
sudo apt install u-boot-tools
mkimage -A arm -O linux -T script -C none -n boot.scr -d boot.source boot-sd/boot.scr
sudo umount /dev/mmcblk0*
sudo parted -s /dev/mmcblk0 mklabel msdos mkpart primary fat32 1M 30M
sudo mkfs.vfat /dev/mmcblk0p1
sudo mount /dev/mmcblk0p1 /mnt
sudo cp -r boot-sd/* /mnt
sudo umount /mnt
dd if=/dev/mmcblk0 of=iotlab-rpi3-sd.img bs=4M count=9
dd if=iotlab-rpi3-sd.img of=/dev/mmcblk0 bs=4M