2 ms·

multicore sel4 is implemented but still unverified: https://docs.sel4.systems/projects/sel4/frequently-asked-questions.html https://docs.sel4.systems/projects/

• roca 2y ago
  Hmm, but > The multicore kernel uses a big-lock approach, which makes sense for tightly-coupled cores that share an L2 cache. It is not meant to scale to many cores,
• cmrx64 2y ago
  I guess https://github.com/seL4/l4v/tree/rt https://github.com/seL4/l4v/tree/rt is the ongoing verification work for that