RIOT-OS/RIOT — pull request #713 by OlegHahm (2014-02-15 17:52:02+00:00)
Title: core: Sched switch simplification

small header cleanup and simplified function prototype for sched_switch()