Testing scheduler thermal properties for avionics
Testing scheduler thermal properties for avionics
Posted May 16, 2020 18:35 UTC (Sat) by scientes (guest, #83068)Parent article: Testing scheduler thermal properties for avionics
Sounds like a use for the new mixed-criticality seL4 scheduler.
Posted May 21, 2020 5:28 UTC (Thu)
by wentasah (subscriber, #54572)
[Link]
Testing scheduler thermal properties for avionics
It seems that with respect to power management, seL4 does only "wfi" (ARM) in the idle thread. This is all right for a microkernel. Is there some user-space component responsible for PM things like DVFS?