8000 Tags · realprocrastinator/seL4 · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Tags: realprocrastinator/seL4

Tags

11.0.0

Toggle 11.0.0's commit message 
Release 11.0.0

Update VERSION
Update CHANGES

10.1.1-mcs

Toggle 10.1.1-mcs's commit message 
Fix scheduling behaviour on seL4_SchedContext_YieldTo

When yieldingTo a same prio thread, the same prio thread should run
first, not the current thread. Due to changes to possibleSwitchTo in
master scheduler this code became outdated and the current thread would
be rescheduled immediately.

The desired behaviour is that the thread being yieldedTo should be at
the head of the scheduler queue for its priority, and the current thread
should be just after it.

10.1.1

Toggle 10.1.1's commit message 
Release 10.1.1

Update VERSION
Update CHANGES

10.1.0

Toggle 10.1.0's commit message 
Release 10.1.0

Update VERSION
Update CHANGES

mcs-tutorials

Toggle mcs-tutorials's commit message 
Fix scheduling behaviour on seL4_SchedContext_YieldTo

When yieldingTo a same prio thread, the same prio thread should run
first, not the current thread. Due to changes to possibleSwitchTo in
master scheduler this code became outdated and the current thread would
be rescheduled immediately.

The desired behaviour is that the thread being yieldedTo should be at
the head of the scheduler queue for its priority, and the current thread
should be just after it.

10.0.0-mcs

Toggle 10.0.0-mcs's commit message 
Update version file for MCS kernel

10.0.0

Toggle 10.0.0's commit message 
Release 10.0.0

Update VERSION
Update CHANGES

9.0.1

Toggle 9.0.1's commit message 
Release 9.0.1

Update VERSION
Update CHANGES

9.0.0-mcs

Toggle 9.0.0-mcs's commit message 
Update version file for MCS kernel

9.0.0

Toggle 9.0.0's commit message 
Release 9.0.0

Update VERSION
Update CHANGES
0