genode

ehmry/genode

Fork 0

Commit Graph

Author	SHA1	Message	Date
Martin Stein	e0b7fb1929	nic_bridge: fixed MAC addresses Enable configuration of a fixed MAC address for each client. Fixes #3040	2018-11-27 11:36:35 +01:00
Martin Stein	5bb5a62d37	timeout_types.xsd: allow 0 seconds The previous range was from 1..X because we only used it for durations. But with the Depot Autopilot we want to use it also for a timestamp.	2018-11-16 14:37:47 +01:00
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

Author

SHA1

Message

Date

Martin Stein

e0b7fb1929

nic_bridge: fixed MAC addresses

Enable configuration of a fixed MAC address for each client.

Fixes #3040

2018-11-27 11:36:35 +01:00

Martin Stein

5bb5a62d37

timeout_types.xsd: allow 0 seconds

The previous range was from 1..X because we only used it for durations. But
with the Depot Autopilot we want to use it also for a timestamp.

2018-11-16 14:37:47 +01:00

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

3 Commits