I have posted new versions of the following RTOS libraries on GitHub.
ChibiOS/RT version 2.6.5 https://github.com/greiman/ChibiOS-Arduino.
FreeRTOS version 8.0.1 https://github.com/greiman/FreeRTOS-Arduino.
NilRTOS slight update to original version 0.0.1 https://github.com/greiman/NilRTOS-Arduino.
I am following work on ChibiOS version 3.0. Version 3.0 will include many new features and NilRTOS will be more compatible with ChibiOS.