genode

Files

Norman Feske 5641ebcd1b depot_query: 'binary' and 'config' as attributes

By specifying the 'config' of a '<runtime>' as an attribute, we can
distinguish the case where the config is obtained from a ROM session
from the case where the config is specified inline as a '<config>' node.

2018-02-09 13:34:15 +01:00

doc

Remove obsolete RAM/CAP services from run scripts

2017-05-31 13:16:22 +02:00

include

vfs: skip synced file systems in complete_sync

2018-01-17 12:14:43 +01:00

lib

net-stat: remove as it is not used and outdated

2018-01-17 12:14:42 +01:00

recipes

depot_query: 'binary' and 'config' as attributes

2018-02-09 13:34:15 +01:00

run

test/xml_node: test Xml_node::decoded_content

2018-02-09 13:26:01 +01:00

src

nitpicker: refresh when focused client disappears

2018-02-09 13:34:13 +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.