genode/repos/os
Norman Feske e8e499ae9e nitpicker: account input and framebuffer caps
This patch deduces the caps needed for the framebuffer and input RPC
objects from the resources accounted locally within the session. It also
takes precautions for the situation where a client offers too little
resources, prompting the mid-way cancelling of the 'Session_component'
creation. With the patch, the 'ep.manage' operations are rolled back
by the corresponding 'ep.dissolve' operations.

Issue #5340
2024-10-07 14:44:30 +02:00
..
doc Remove SIGNAL/CAP/RAM services from run scripts 2022-04-13 08:08:00 +02:00
include os: remove os/handle_registry.h 2024-08-27 15:29:38 +02:00
lib Rename src/drivers to src/driver 2024-06-20 12:54:30 +02:00
recipes depot: update recipe hashes 2024-08-29 12:32:25 +02:00
run internet_checksum.run: don't use bad trafgen seeds 2024-08-27 15:29:37 +02:00
src nitpicker: account input and framebuffer caps 2024-10-07 14:44:30 +02:00
xsd sntp_client: add DNS lookup option 2023-11-28 14:24:23 +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.