diff options
Diffstat (limited to 'run.sh')
-rwxr-xr-x | run.sh | 39 |
1 files changed, 39 insertions, 0 deletions
@@ -0,0 +1,39 @@ +#!/bin/bash + +set -e + +echo "##########################################" +echo "# Flashing bootloader" +echo "##########################################" +./bin/flash-target bootloader + +echo "##########################################" +echo "# Flashing temporary HSM firmware" +echo "##########################################" +./bin/flash-target hsm +./bin/reset +sleep 5 + +echo "##########################################" +echo "# Uploading bitstream" +echo "##########################################" + +./bin/cryptech_upload --fpga --username wheel + +echo "##########################################" +echo "# Programming AVR" +echo "##########################################" +avrdude -c usbtiny -p attiny828 -U flash:w:tamper.hex + +echo "##########################################" +echo "# Flashing official STM32 firmware" +echo "##########################################" +./bin/cryptech_upload --firmware --username wheel +./bin/reset +sleep 15 + +echo "##########################################" +echo "# Checking FPGA" +echo "##########################################" +./bin/cryptech_runcmd --username wheel "fpga show cores" + |