mirror of
https://github.com/genodelabs/genode.git
synced 2025-02-23 18:50:29 +00:00
1d56c3d3aa
In nested scenarios like driver_manager.run, the initial session quota for IO_PORT, IO_PORT, and IRQ sessions is expectedly insufficient. However, the condition is properly handled by re-attemping the request with a slightly increased quota. Still, core prints a warning each time the request is denied for quota reasons, which spams the log. This patch removes the non-critical message.
This directory contains include files of interfaces that are exported by components to be used by other components. Each subdirectory corresponds to the component exporting the interface.