RIOT-OS/RIOT — pull request #450 by LudwigOrtmann (2013-12-19 12:27:26+00:00)
Title: Chronos fixes

Depends on #446, including until merged.