seL4 release 14.0.0

Release 13.0.0

Release 12.1.0

Update VERSION
Update CHANGES

Signed-off-by: Damon Lee <[email protected]>

Release 12.0.0

Update VERSION
Update CHANGES

Signed-off-by: Oliver Scott <[email protected]>

Release 11.0.0

Update VERSION
Update CHANGES

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.

Release 10.1.1

Update VERSION
Update CHANGES

Release 10.1.0

Update VERSION
Update CHANGES

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.

Update version file for MCS kernel