mirror of
https://github.com/genodelabs/genode.git
synced 2025-04-24 04:55:38 +00:00
Some platforms (sel4 imx6/imx7) cannot manage to execute all tests in a single boot. Thus, we re-boot them periodically after a given maximum number of tests to avoid that arbitrary tests always fail due to the long uptime and not due to the tests themselves. If the maximum number of tests is set to 0, no limit is applied. Fixes #3411
This directory is a source-code repository containing Genode-specific services and applications. In contrast to the components that come with the 'os' repository, programs contained in 'gems' are able to leverage the functionalities provided by higher-level repositories such as 'libports'. To use the 'gems' repository, make sure to also add those repositories to your build configuraion.