mirror of
https://github.com/genodelabs/genode.git
synced 2025-03-25 13:28:28 +00:00
84bbde2879
The router used to ignore the value of the <report quota=".."/> attribute when it came to determining whether an interface's report is empty or not. Therefore, merely configuring <report quota="yes"/> didn't cause interfaces (and their quota) to show up in the report. Instead, interface quota was reported as side effect of <report stats="yes"/>. The commit fixes this inconsistency with the README.
This source-code repository contains genuine low-level OS components and interfaces of Genode. It solely depends on the framework's base API.