4 ms·

OK so seL4 is safer than Linux, that's not really news.. I have questions about seL4 though: is it able to manage several multicore CPU efficiently? What about

by renox 8y ago

OK so seL4 is safer than Linux, that's not really news.. I have questions about seL4 though: is it able to manage several multicore CPU efficiently? What about power management, does it work?

pjmlp 8y ago
Given that it is responsible for powering many embedded systems deployed into production, yes.
- monocasa 8y ago
  They only added multicore support in the past year, and it contains no power management code beyond sleeping in the idle loop.
  - pjmlp 8y ago
    So I wonder how do those devices manage themselves.
    - monocasa 8y ago
      They dont. You don't need power management for a lot of embedded systems that are high assurance. Power is generally plentiful in high assurance situations for a lot of reasons.