mirror of
https://github.com/genodelabs/genode.git
synced 2025-02-07 11:50:24 +00:00
9812799b24
- Stop refreshing if all CPUs go to sleep, also in text mode. - Any input resets update rate to 100Hz in graphic mode, which gets decreased step by step down to 25Hz if no input is available (looking video without input by user). Fixes #3576
This directory contains ports of popular 3rd-party applications to Genode. The 'ports' repository follows the line of the 'libports' repository. For instructions about downloading and building 3rd-party applications, please refer to 'libports/README'. Dependencies from other repositories ------------------------------------ Application provided by the 'ports' repository typically expect a rich runtime environment, including shared libraries provided by the 'libports' repository. Hence, 'ports' depends on 'libports'.