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