[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:

  https://github.com/RIOT-OS/RIOT/pull/126

-- Commit Summary --

  * fix priority comparison in sched_switch

-- File Changes --

    M core/sched.c (2)

-- Patch Links --

https://github.com/RIOT-OS/RIOT/pull/126.patch
https://github.com/RIOT-OS/RIOT/pull/126.diff

-------------- 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