Please try the newer version of ChibiOS/RT in the ChRt repository.

It is version 6.0.3 of the ChibiOS/RT kernel from release 
19.1.3 of ChibiOS.

This is a port of ChibiOS/RT version 3.0.3 for Arduino and will
not be updated.

AVR, Due, and Teensy 3.x boards are supported.

documentation.html is a link to the ChibiOS/RT documentation.

The home page for ChibiOS/RT is here:

http://www.chibios.org/dokuwiki/doku.php?id=start

Please read ChibiOS.html for more information on this port.

These libraries were tested with Arduino 1.6.5 for AVR boards, Arduino 1.6.4
for Due and the 1.26 version of the Teensy 3 software.

To install these libraries and run the ChibiOS/RT examples, copy the
included libraries to your libraries folder.