mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-22 15:02:25 +00:00
725d16e18e
In preparation of ipc receive, by now a bunch of capabilities got allocated to be ready iin case of capability receiption. After that unuse slots were freed again. This overhead of senseless (de-)allocations is replaced in this commit by just restock capability slots that got used by the last receive. Fix #3640 |
||
---|---|---|
.. | ||
doc | ||
etc | ||
include | ||
lib/mk | ||
ports | ||
recipes | ||
run | ||
src |