mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-19 05:37:54 +00:00
75b04b38f6
The recent changes of the GUI stack (proper accounting of cap and RAM resources by the window manager and nitpicker, output buffered at the server side) require quota adjustments at various GUI-related places. Issue #5356 |
||
|---|---|---|
| .. | ||
| api | ||
| pkg | ||
| raw | ||
| src | ||