RIOT-OS/RIOT — pull request #1407 by LudwigOrtmann (2014-07-13 05:00:06+00:00)
Title: sys/vtimer: spin on short duration in vtimer_sleep

closes #571

I suggest we merge this (after review) now and create a fresh issue for resolving the problem that the decision is relatively arbitrary.