genode/repos/os/src/init
Martin Stein d2a36c5958 base: define generic config XSD types globally
The new base/xsd/config.inc defines generic XSD types such as 'Boolean' or
'Session_label'. It can be included in config XSD files by using:

! <xs:include schemaLocation="file://${GENODE_CONFIG_INC}"/>

The string ${GENODE_CONFIG_INC} is replaced by the run tool with the
above mentionened file path.

Issue #2897
2018-08-28 16:48:47 +02:00
..
alias.h init: refactoring into multiple files 2017-03-24 16:19:56 +01:00
child_registry.h Follow practices suggested by "Effective C++" 2018-01-17 12:14:35 +01:00
child.cc base: rm first-class support for static binaries 2018-08-02 14:36:38 +02:00
child.h base: rm first-class support for static binaries 2018-08-02 14:36:38 +02:00
config.explicit_routing Remove obsolete RAM/CAP services from run scripts 2017-05-31 13:16:22 +02:00
config.priority Remove obsolete RAM/CAP services from run scripts 2017-05-31 13:16:22 +02:00
config.wildcard Remove obsolete RAM/CAP services from run scripts 2017-05-31 13:16:22 +02:00
config.xsd base: define generic config XSD types globally 2018-08-28 16:48:47 +02:00
main.cc init: defer immediate restart of abandoned child 2018-06-12 12:11:47 +02:00
name_registry.h init: refactoring into multiple files 2017-03-24 16:19:56 +01:00
report.h init: reduce report latency for resource requests 2018-06-12 12:11:38 +02:00
server.cc Follow practices suggested by "Effective C++" 2018-01-17 12:14:35 +01:00
server.h os: make 'Buffered_xml' util publicly available 2018-02-09 13:34:17 +01:00
service.h Follow practices suggested by "Effective C++" 2018-01-17 12:14:35 +01:00
state_reporter.h init: reduce report latency for resource requests 2018-06-12 12:11:38 +02:00
target.mk run: target-specific config schemata 2017-12-21 15:01:36 +01:00
types.h Capability quota accounting and trading 2017-05-31 13:16:06 +02:00
utils.h init: support dynamic cap-quota adjustment 2018-06-12 12:11:42 +02:00
verbose.h init: refactoring into multiple files 2017-03-24 16:19:56 +01:00