They only added multicore support in the past year, and it contains no power management code beyond sleeping in the idle loop.

So I wonder how do those devices manage themselves.

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.