genode/repos/os
Josef Söntgen 83cc36ef0b gpu/intel: account session resources
Account RAM and CAP resources for GPU sessions and trigger client
upgrades before allocating resources at the multiplexer. This prevents
the multiplexer from running out of resources.

issue #4380
2022-01-19 15:00:47 +01:00
..
doc Remove <configfile> feature from init 2020-05-18 10:16:13 +02:00
include vfs: add 'with_xml_file_content()' and 'with_raw_file_content()' 2022-01-19 12:38:13 +01:00
lib os: avoid implicit conversions 2021-12-17 15:04:45 +01:00
recipes depot: update recipe hashes 2022-01-19 12:38:13 +01:00
run cpu_balancer.run: disable testing on foc 2022-01-19 12:35:49 +01:00
src gpu/intel: account session resources 2022-01-19 15:00:47 +01:00
xsd nic drivers: provide optional Uplink-client mode 2021-01-25 13:58:09 +01:00
README API documentation refinements 2017-05-31 13:16:21 +02:00

This source-code repository contains genuine low-level OS components and
interfaces of Genode. It solely depends on the framework's base API.