mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-19 21:57:55 +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. |
||
|---|---|---|
| .. | ||
| base | ||
| cap_session | ||
| cpu | ||
| cpu_session | ||
| cpu_thread | ||
| dataspace | ||
| deprecated | ||
| drivers | ||
| io_mem_session | ||
| io_port_session | ||
| irq_session | ||
| log_session | ||
| parent | ||
| pd_session | ||
| ram_session | ||
| region_map | ||
| rm_session | ||
| rom_session | ||
| root | ||
| session | ||
| spec | ||
| thread | ||
| trace_session | ||
| util | ||
| README | ||
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.