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