RIOT-OS/thirdparty_boards — pull request #12 by OlegHahm (2014-02-26 16:16:06+00:00)
Title: call thread_yield instead of sched_run directly to trigger context switch

This looks more sane to me.