RIOT-OS/RIOT — pull request #297 by OlegHahm (2013-11-03 15:32:57+00:00)
Title: fixed debug output for ps and vtimer

Floating point does not work properly on my msp430-gcc, hence I've split the ps-printf-line to get at least information about the thread switching.