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