ChibiOS Free Embedded RTOS

Posted: **Wed Jun 15, 2016 9:36 am**

Hi,
this bug only triggers in rather rare circumstances.

Please check the message in the patch for details.
Helmut

Posted: **Thu Jun 16, 2016 12:20 pm**

Hi,

Fixes committed, thanks.

Giovanni

bug in GCC rules.mk