Hi Steve,

thanks for your nice words! :-)

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).

On Genode, the current drivers for the Pandaboard comprise USB (for HID and networking), HDMI, and SD-card. There is currently no driver for the dynamic voltage and frequency scaling (DVFS) feature of the OMAP4 SoC. So I would just expect a higher power consumption of Genode compared to native Linux, which comes with a DVFS driver.

That said, I see no real show stopper that would speak against implementing such a driver. The DVFS driver would run as normal Genode process like any of the other drivers.

Are you interested in having a closer look on this topic? If yes, I would be happy to discuss possible approaches about how to integrate power saving features with the Genode architecture.

Cheers Norman