RIP SMP kernel
In my #seL4 Summit talk I also examined performance of the SMP vs multikernel, in the process eating my words from 11 years ago, claiming that an SMP kernel was better for closely-coupled cores (see trustworthy.systems/publications...).
Multikernel is the way to go!
trustworthy.systems
TS | For a microkernel, a big lock is fine
