In order to use it easily, I have ported ChibiOS/RT to this board. You can find the result of this work here. This port is based on the 2.6 stable branch of ChibiOS/RT. You just have to extract the archive in the directory boards of ChibiOS/RT. Feel free to use it for your own projects!