mirror of
https://github.com/genodelabs/genode.git
synced 2025-06-22 00:41:55 +00:00
This allows the configuration of all report attributes of the <report> node for the sub init instead of only `delay_ms`. Issue #3760
This allows the configuration of all report attributes of the <report> node for the sub init instead of only `delay_ms`. Issue #3760