DuinoOS is really FreeRTOS for Arduino AVR boards. I don't think there is a version for ARM and I believe DuinOS for AVR is based on an old version of FreeRTOS.
I will be posting an update in a few days with the 16 examples from the book "Using the FreeRTOS Real Time Kernel - a Practical Guide". The examples run as Arduino sketches.