DuinOS: small and simple rtos

I've been trying to work with a servo and I tried the basic SWEEP
The example works perfectly fine if I don't use DuinOS.
Can you please help me?? Thank you in advance!

Yes, you must have this error because in the file DuinOS_v0.3_Alpha_dev_svn20101222.zip, DuinOS use Timer 1 for its kernel.
Timer 1 is 16 bits.
But Servo lib need Timer1.
And you use the Servo Lib that is not patched to not use Timer 1.

Then use patched Servo lib (from Arduino IDE 0021) with Timer1 disabled because DuinOS uses the timer 1 for its kernel,
if you have a card with AtMega 128, 1280, 1281, 2560, 2561, 32U4, AT90USB646, AT90USB1286.
This patched Servo lib with Timer disabled is in the file DuinOS_v0.3_Alpha_dev_svn20101222.zip.
And for the other cards, I have added ServoTimer2 lib to replace Servo for AtMega 88,168,328,644 - use the 8 bits Timer2 to manage up to 8 servos
ServoTimer2 lib website : Google Code Archive - Long-term storage for Google Code Project Hosting.

Or you can get the latest DuinOS souce code here
http://code.google.com/p/duinos/source/checkout
where I have replaced Timer1 by Timer0 for the timer used by DuinOS kernel.