Skip to content

Tags: alwin-joshy/seL4

Tags

12.1.0

Release 12.1.0

Update VERSION
Update CHANGES

Signed-off-by: Damon Lee <Damon.Lee@data61.csiro.au>

12.0.0

Release 12.0.0

Update VERSION
Update CHANGES

Signed-off-by: Oliver Scott <Oliver.Scott@data61.csiro.au>

11.0.0

Release 11.0.0

Update VERSION
Update CHANGES

10.1.1-mcs

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

Release 10.1.1

Update VERSION
Update CHANGES

10.1.0

Release 10.1.0

Update VERSION
Update CHANGES

mcs-tutorials

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

Update version file for MCS kernel

10.0.0

Release 10.0.0

Update VERSION
Update CHANGES

9.0.1

Release 9.0.1

Update VERSION
Update CHANGES