genode

mirror of https://github.com/genodelabs/genode.git synced 2025-04-12 21:53:28 +00:00

History

Stefan Kalkowski 1bdff41544 genode_c_api usb: always return valid capability

Instead of returning an invalid capability whenever an interface is
requested that does not exist, create a disconnected interface component.
It is also possible that a client requests an interface that got removed
at the same time. When an invalid capability gets returned, a client
can stumble about invoking it.
Moreover, this commit marks either invalid interface or device components
as disconnected objects to optimize their handling.

Ref genodelabs/genode#5021

2024-04-19 08:54:21 +02:00

doc

Remove SIGNAL/CAP/RAM services from run scripts

2022-04-13 08:08:00 +02:00

include

os: packet_allocator needs size for free

2024-04-12 15:05:14 +02:00

lib

monitor: add more debugging features

2023-08-23 13:46:37 +02:00

recipes

os: recipe and launcher for pkg/waveform_player

2024-04-19 08:54:20 +02:00

run

usb: session renewal & new client API

2024-04-12 12:57:30 +02:00

src

genode_c_api usb: always return valid capability

2024-04-19 08:54:21 +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

README

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