DuinOS: small and simple rtos

I've looked into this and besides the delay issue there appears to be a more fundamental problem with even getting serial output using DuinOS, at least in my simple test.
The following locks up the micro (which is in setup):

Serial.begin(9600);
Serial.println("D2");

The begin method returns but the println never returns. Any ideas Julián?