RIOT-OS/RIOT — pull request #596 by LudwigOrtmann (2014-02-01 09:27:18+00:00)
Title: add mbed_lpc1768 hwtimer stub

closes #586