Questions about SMP

axel June 21, 2022, 2:59pm 2

Didn’t you ask this in Scheduling in smp configuration already? Can you be more specific, what information is still missing from the answers there?

Topic		Replies	Views
How is the domain scheduler supposed to work with SMP configurations? seL4 kernel	5	734	March 8, 2021
Scheduling in smp configuration seL4 kernel	4	759	March 28, 2022
Microchip PolarFire soc & multicore New to seL4	5	249	August 17, 2023
[seL4 kernel][MCS][schedule context donate]senario of example need your help! seL4 kernel	8	385	December 20, 2022
Some questions about sporadic server in seL4 seL4 kernel	1	316	August 26, 2022