mirror of
https://github.com/mmueller41/genode.git
synced 2026-01-21 12:32:56 +01:00
Prevent allocation of new cap-space slots each time a capability is received by checking if the received capability already exists. Fixes #2885
This repository contains the Linux-specific implementation of Genode.