[riot-notifications] [RIOT] fix priority comparison in sched_switch (#126)

Oleg Hahm notifications at github.com
Mon Aug 12 19:28:56 CEST 2013

fixes an old, but yet unknown bug in the mutex implementation
You can merge this Pull Request by running:

  git pull https://github.com/OlegHahm/RIOT scheduler_fix

Or you can view, comment on it, or merge it online at:


-- Commit Summary --

  * fix priority comparison in sched_switch

-- File Changes --

    M core/sched.c (2)

-- Patch Links --


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.riot-os.org/pipermail/notifications/attachments/20130812/2fa1bf00/attachment.html>

More information about the notifications mailing list