genode/repos/os
Norman Feske 3b456e0037 test/resource_request: ignore spurious requests
This patch makes the test less dependent on the rate of state updates by
calculating the upgraded quota from the values found in the state report
instead of simply increasing the '_ram_quota' for each incoming report.
2021-11-29 15:10:53 +01:00
..
doc Remove <configfile> feature from init 2020-05-18 10:16:13 +02:00
include os: Pin_control and Pin_state session interfaces 2021-11-29 15:10:52 +01:00
lib sandbox/init: parse config using 'List_model' 2021-04-20 12:03:04 +02:00
recipes imx8q_evk: remove board support from repository 2021-11-29 15:10:51 +01:00
run nova: support transfer of IA32_TSC_AUX MSR for vCPUs 2021-11-29 15:10:52 +01:00
src test/resource_request: ignore spurious requests 2021-11-29 15:10:53 +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.