This patch makes use of the recently added support for const RPC
functions by turning 'Framebuffer::Session::mode()' and
'Input::Session::is_pending()' into const functions.
This file contains Unicode characters that might be confused with other characters. If you think that this is intentional, you can safely ignore this warning. Use the Escape button to reveal them.
Nitpicker is the low-level GUI server of Genode. For the general concepts,
please refer to the following document:
:A Nitpicker’s guide to a minimal-complexity secure GUI:
[http://genode-labs.com/publications/nitpicker-secure-gui-2005.pdf]
Configuration
~~~~~~~~~~~~~
Nitpicker supports the following configuration options, supplied via
Genode's config mechanism.
:Tinting of clients in X-Ray mode:
Nitpicker allows for assigning a color to single clients or a groups
of clients based on the client's label. The following configuration
tints all views of the launchpad subsystem in blue except for those
views that belong to the testnit child of launchpad.
! <config>
! <policy label="launchpad" color="#0000ff"/>
! <policy label="launchpad -> testnit" color="#ff0000"/>
! </config>
d880386091