Re: userland clock_gettime proof of concept

[Paul Irofti]

> Hopefully this version also fixes the init bug solene@ was seeing.

No according to robert@, sorry. I'll look into it more and get back with
a fix.