genode

mirror of https://github.com/mmueller41/genode.git synced 2026-01-21 20:42:56 +01:00

Files

Norman Feske 8fca8a9a04 nitpicker: refresh when focused client disappears

This fix handles the case where the focused domain loses its focus
because the currently focused client vanishes. In this case, the focus
will be undefined and the non-focused views of the domain become
tinted again. The refresh should take effect immediately as soon as the
client vanishes.

2018-02-09 13:34:13 +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: update recipe hashes

2018-01-17 12:14:44 +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.