genode

Files

Norman Feske 067a7ad7e9 nitpicker: internal cleanup

This patch simplifies the internal naming of the nitpicker GUI server as
a preparatory step for adding support for the capture session interface.

Issue #3812

2020-07-13 11:33:14 +02:00

doc

Remove <configfile> feature from init

2020-05-18 10:16:13 +02:00

include

Event session interface

2020-07-13 11:33:13 +02:00

lib

os: add sandbox lib to api/os

2020-02-20 12:11:22 +01:00

recipes

Input-event-bridging service

2020-07-13 11:33:14 +02:00

run

Fix success/failure detection in cpu_bench testsuite

2020-07-13 11:33:12 +02:00

src

nitpicker: internal cleanup

2020-07-13 11:33:14 +02:00

xsd

timeout_types.xsd: Minutes type

2019-08-21 12:37:02 +02:00

README

…

README

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