Hi fat16, thank you very much for this great tool!
I've tried both freeRTOS and ChibiOS and they worked out of the box on the DUE with your libraries (of course, after having applied the patch).
In the examples you provided, there is no chBlinkPrint for ARM, so I've edited the chBlinkPrint for AVR, changed the #include command, removed the F() in the println commands (by the way, what was it for?).
I was impressed to observe that the ChibiOS version has a smaller footprint and that it runs faster (at least, comparing the numbers provided in the two BlinkPrint examples).
In your opinion, since you tried both the RTOSes, which one is the best? I know it's not easy to give an absolute answer. And probably there's no absolute answer. However, in terms of responsiveness and easiness of learning/use, which one do you suggest?