I really appreciate you for sharing this excellent platform. :)
As I titled, I'm wondering if Genode and Fiasco.OC have power saving features, especially on a Panda board. For example, reducing voltage, lowering frequency, and so on.
I heard that Genode and Fiasco.OC with L4Linux consume more power than a native linux in the idle state (on the Panda board).
Best regards, Steve