On 2015-12-01 at  7:04 'Davide Libenzi' via Akaros wrote:
> BTW, I don't strictly need it.
> I need a working sleep API, more than that ☺

sleep() should be working now, due to Kevin's recent patch set.

-- 
You received this message because you are subscribed to the Google Groups 
"Akaros" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to [email protected].
To post to this group, send email to [email protected].
For more options, visit https://groups.google.com/d/optout.

Reply via email to