ST-LINK is STM's implementation of the | Serial Wire Debug (SWD) protocol. Think of it as JTAG if you're more comfortable with that.
Getting an ST-LINK programmer
We have tested with STM32F0DISCOVERY and STM32F4DISCOVERY (both with ST-LINK v2.0) and NUCLEO-F411RE (with ST-LINK v2.1).
Connecting the ST-LINK programmer to the Alpha
On the STM board, remove the pair of ST-LINK jumpers (CN4 on the F4DISCO, CN2 on the F0DISCO and NUCLEO). Then locate the 6-pin SWD header (CN3 on the F0DISCO, CN2 on the F4DISCO, CN4 on the NUCLEO), and connect it to J1 on the Alpha board (top, just left of center).
This photo shows the correct orientation of the cables (both boards oriented so that the logo is right-side up):
NOTE: The STM boards have an unfortunate tendency to short unexpectedly, so I recommend putting them in an enclosure. In this case, I've cut holes in the original packaging.
Install OpenOCD and the debugger
$ apt-get install gdb-arm-none-eabi openocd
If you don't already have a cryptech source tree somewhere, get the source distribution, e.g.
$ apt-get source cryptech-alpha
The scripts are in
Re-flashing the Alpha
To reflash with our binary firmware
$ tar xfz /usr/share/cryptech-alpha-firmware.tar.gz $ flash-target hsm
What you should see is something like:
** Programming Started ** auto erase enabled Info : device id = 0x20016419 Info : flash size = 2048kbytes Info : Dual Bank 2048 kiB STM32F42x/43x/469/479 found target halted due to breakpoint, current mode: Thread xPSR: 0x61000000 pc: 0x20000046 msp: 0x2002fffc wrote 524288 bytes from file projects/hsm/hsm.elf in 12.344705s (41.475 KiB/s) ** Programming Finished ** ** Verify Started ** target halted due to breakpoint, current mode: Thread xPSR: 0x61000000 pc: 0x2000002e msp: 0x2002fffc target halted due to breakpoint, current mode: Thread xPSR: 0x61000000 pc: 0x2000002e msp: 0x2002fffc verified 509100 bytes in 0.953672s (521.320 KiB/s) ** Verified OK ** ** Resetting Target ** Info : Unable to match requested speed 2000 kHz, using 1800 kHz Info : Unable to match requested speed 2000 kHz, using 1800 kHz adapter speed: 1800 kHz shutdown command invoked
To reflash with firmware you built from source
Debugging the Alpha
This site shows several ways to use various debuggers to debug the firmware in an STM32:
There is a shell script called 'bin/debug' that starts an OpenOCD server and GDB:
$ sw/stm32/bin/debug projects/hsm/hsm