mirror of
https://github.com/genodelabs/genode.git
synced 2025-04-15 06:57:12 +00:00
Use 'avail_caps' and 'avail_ram' for resource guards because 'used_caps' and 'used_ram' do not account for resources given to the platform driver. This lead to incorrect resource accounting by the GPU multiplexer. issue #4451
This source-code repository contains genuine low-level OS components and interfaces of Genode. It solely depends on the framework's base API.