1 . flash writing is not working from GDB
2 add a standalone application, flash/
4 . add a startup.S based example
6 . remove libsg dependency using:
7 https://github.com/afaerber/stlink/tree/master/libstlink
9 . compile and test a realtime kernel, for instance:
10 http://www.chibios.org/dokuwiki/doku.php?id=start