RTOS/seL4
1
0
Fork 0
forked from Imagelibrary/seL4
Code Pull Requests Activity

manual: replace 'master' by 'non-MCS'

Browse Source 
MCS was a separate branch initially, it got merged into the master
branch for version 11.0.0.

Signed-off-by: Axel Heider <axelheider@gmx.de>
This commit is contained in:
Axel Heider
2023-06-20 18:35:02 +02:00
committed by Gerwin Klein
parent 4d77c7008f
commit dac273a2f6
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
manual/parts/threads.tex
View File

@@ -49,12 +49,12 @@ pointer. The thread can then be activated either by setting the
or by separately calling the \apifunc{seL4\_TCB\_Resume}{tcb_resume} method. Both of these methods
place the thread in a runnable state.
On the master kernel, this will result in the thread immediately being added to
In non-MCS configurations of the kernel, this will result in the thread immediately being added to
the scheduler. On the MCS kernel, the thread will only begin running if it has a
scheduling context object.
In a SMP configuration of the kernel, the thread will resume on the core
corresponding to the affinity of the thread. For master, this is set using
corresponding to the affinity of the thread. For the non-MCS configurations of the kernel, this is set using
\apifunc{seL4\_TCB\_SetAffinity}{tcb_setaffinity}, while on the MCS kernel the affinity is
derived from the scheduling context object.