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
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
config.priority
config.wildcard
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
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
types.h
utils.h	init: support dynamic cap-quota adjustment	2018-06-12 12:11:42 +02:00
verbose.h