seL4 release 15.0.0

Microkit pre-2.1.0 tag for seL4

Microkit from the first public release up to version 2.1.0 used a
patched version of seL4. This tag represents the most recent state of
that now-deprecated branch in order to allow old versions of Microkit
to still build from source.

seL4 release 14.0.0

Release 13.0.0

Release 12.1.0

Update VERSION
Update CHANGES

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

Release 12.0.0

Update VERSION
Update CHANGES

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

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