DuinOS: small and simple rtos

Julian,

I'm getting back into some Arduino/DuinOS coding after some time off and was wondering if the latest DuinOS rev is compatible with the latest Arduino build (21).

Thanks.