# get u-boot source code
git clone --depth 1 --branch argos-research https://github.com/argos-research/u-boot.git
cd u-boot
# download and extract toolchain (gcc-linaro-5.4.1-2017.05-x86_64_arm-eabi.tar.xz)
curl https://nextcloud.os.in.tum.de/s/P7fKmyO2u5tRZS1/download | tar xJ
# temporarily add toolchain to path and set CROSS_COMPILE environment variable
export PATH=$(pwd)/gcc-linaro-5.4.1-2017.05-x86_64_arm-eabi/bin:$PATH
export CROSS_COMPILE=arm-eabi-

# select and compile for droid-u3
make odroid_defconfig
make
# download binary blobs (boot.tar.gz)
curl https://nextcloud.os.in.tum.de/s/0NWU5Wznfg5n7zE/download | tar xz
cd boot
# prepare the SD card to leave some space in the front,
# since the binary blobs and u-boot image will be copied to the beginning of it
(
  echo "o"       # create new dos partition layout
  echo "n"       # create new partition
  echo "p"       # primary
  echo "1"       # first partition
  echo "2097152" # first sector after 1 GB (sector size 512 bytes)
  echo "+8G"     # 8 GB size
  echo "t"       # change partition type
  echo "0c"      # w95 fat32 (lba)
  echo "w"       # write changes
) | sudo fdisk /dev/null # replace /dev/null with your SD card
sudo mkfs.fat -n GENODE /dev/null # replace /dev/null with the first partition of your SD card
# finally fuse u-boot onto the SD card
cp ../u-boot-dtb.bin u-boot.bin
sh sd_fusing.sh /dev/null # replace /dev/null with your SD card

# configure an ethernet address
setenv usbethaddr 02:DE:AD:BE:EF:FF
# change bootcmd to boot via dhcp
# workaround for the usb ethernet - seems to work that way
setenv bootcmd 'usb reset; usb reset; dhcp ${scriptaddr}; usb reset; usb stop; bootelf ${scriptaddr}'
# save settings on the SD card
saveenv
reset

# select and compile for rpi model 1 b(+)
make rpi_defconfig
make
# prepare SD card
echo "o\nn\np\n1\n\n+8G\nt\n0c\nw\n" | sudo fdisk /dev/null # replace /dev/null with your SD card
sudo mkfs.fat -n GENODE /dev/null # replace /dev/null with the first partition of your SD card

# configure an ethernet address
setenv ethaddr 02:DE:AD:BE:EF:FF
# change bootcmd to boot via dhcp
setenv bootcmd 'usb reset; dhcp ${loadaddr}; bootelf ${loadaddr}'
# save settings on the SD card
saveenv
reset

# select and compile for rpi model 1 b(+)
make zynq_zed_defconfig
make
# prepare SD card
echo "o\nn\np\n1\n\n+8G\nt\n0c\nw\n" | sudo fdisk /dev/null # replace /dev/null with your SD card
sudo mkfs.fat -n GENODE /dev/null # replace /dev/null with the first partition of your SD card

# configure an ethernet address
setenv ethaddr 02:DE:AD:BE:EF:FF
# change bootcmd to boot via dhcp
setenv bootcmd 'dhcp ${scriptaddr}; bootelf ${scriptaddr}'
# save settings on the SD card
saveenv
reset

# download and extra base_system_design.zip
curl -o zybo_base_system.zip https://nextcloud.os.in.tum.de/s/MprLJQ43K5vpgzw/download
unzip zybo_base_system.zip
# copy the init files into the u-boot file tree
cp zybo_base_system/source/vivado/SDK/hw_platform/ps7_init.h board/xilinx/zynq/zynq-zybo/ps7_init.h
cp zybo_base_system/source/vivado/SDK/hw_platform/ps7_init.c board/xilinx/zynq/zynq-zybo/ps7_init_gpl.c
# select and compile for rpi model 1 b(+)
make zynq_zybo_defconfig
make
# prepare SD card
echo "o\nn\np\n1\n\n+8G\nt\n0c\nw\n" | sudo fdisk /dev/null # replace /dev/null with your SD card
sudo mkfs.fat -n GENODE /dev/null # replace /dev/null with the first partition of your SD card

# configure an ethernet address
setenv ethaddr 02:DE:AD:BE:EF:FF
# change bootcmd to boot via dhcp
setenv bootcmd 'dhcp ${scriptaddr}; bootelf ${scriptaddr}'
# save settings on the SD card
saveenv
reset

# extract the *.tgz
tar xfz file.img.tgz
# dd' it onto the SD card
dd of=/dev/null if=file.img # replace /dev/null with your SD card