5 ms·

Is there a verified SeL4 that supports multi-core yet?

• tkz1312 2y ago
  multicore sel4 is implemented but still unverified: https://docs.sel4.systems/projects/sel4/frequently-asked-questions.html https://docs.sel4.systems/projects/sel4/frequently-asked-que...
  • 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