genode/repos/base-hw
Stefan Kalkowski 725d16e18e hw: optimize ipc capability allocation
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
2020-02-20 12:11:22 +01:00
..
doc Update Muen port 2019-05-27 14:46:53 +02:00
etc kernel: differentiate board-specific components 2019-05-27 14:46:52 +02:00
include hw: introduce virtualization support for ARMv8 2019-11-21 14:29:36 +01:00
lib/mk base-hw: double list without inheritance 2020-02-20 12:11:21 +01:00
ports Update Muen port 2019-05-27 14:46:53 +02:00
recipes depot: update recipe hashes 2020-02-10 14:29:06 +01:00
run base-hw: fix run scripts 2020-02-20 12:11:21 +01:00
src hw: optimize ipc capability allocation 2020-02-20 12:11:22 +01:00