for example (this assumes the executables are in /aux/arm-gcc/gin - it will vary depending on where you built them)
You now need to download the very simple sources for Blinky 2 at http://www.robsons.org.uk/blinky.zip - this is a very simple file which flashes the two LEDs and varying rates, stopping one flashing whenever the button is pressed.
To build it, just type
and to run it, reset the STM32 Discovery, type
stm32flash -w blinky.bin -v /dev/ttyS0 -g 0x0
which instructs the flash loader to write the binary, verify it, and run it - using /dev/ttyS0 as the interface. You should have flashing LEDs.
The link (mine) is still not 100% reliable. It seems to work best if you press the reset and immediately run the command.
In my next post I will take a look at what blinky.c is actually doing.