From 77e968a5e38f92778bf57ff1124a2107df6bc1c9 Mon Sep 17 00:00:00 2001
From: Martin Stein <martin.stein@genode-labs.com>
Date: Fri, 6 Apr 2018 15:48:20 +0200
Subject: [PATCH] nic_dump: add config XML schema file

Issue #2738
---
 repos/os/src/server/nic_dump/config.xsd | 47 +++++++++++++++++++++++++
 repos/os/src/server/nic_dump/target.mk  |  2 ++
 2 files changed, 49 insertions(+)
 create mode 100644 repos/os/src/server/nic_dump/config.xsd

diff --git a/repos/os/src/server/nic_dump/config.xsd b/repos/os/src/server/nic_dump/config.xsd
new file mode 100644
index 0000000000..6bf73cbcf7
--- /dev/null
+++ b/repos/os/src/server/nic_dump/config.xsd
@@ -0,0 +1,47 @@
+<?xml version="1.0"?>
+<xs:schema xmlns:xs="http://www.w3.org/2001/XMLSchema">
+
+	<xs:simpleType name="Interface_label">
+		<xs:restriction base="xs:string">
+			<xs:minLength value="1"/>
+			<xs:maxLength value="64"/>
+		</xs:restriction>
+	</xs:simpleType><!-- Interface_label -->
+
+	<xs:simpleType name="Boolean">
+		<xs:restriction base="xs:string">
+			<xs:enumeration value="true" />
+			<xs:enumeration value="yes" />
+			<xs:enumeration value="1" />
+			<xs:enumeration value="false" />
+			<xs:enumeration value="no" />
+			<xs:enumeration value="0" />
+		</xs:restriction>
+	</xs:simpleType><!-- Boolean -->
+
+	<xs:simpleType name="Log_style">
+		<xs:restriction base="xs:string">
+			<xs:enumeration value="no" />
+			<xs:enumeration value="name" />
+			<xs:enumeration value="default" />
+			<xs:enumeration value="all" />
+		</xs:restriction>
+	</xs:simpleType><!-- Log_style -->
+
+	<xs:element name="config">
+		<xs:complexType>
+			<xs:attribute name="uplink"   type="Interface_label" />
+			<xs:attribute name="downlink" type="Interface_label" />
+			<xs:attribute name="time"     type="Boolean" />
+			<xs:attribute name="default"  type="Log_style" />
+			<xs:attribute name="eth"      type="Log_style" />
+			<xs:attribute name="ipv4"     type="Log_style" />
+			<xs:attribute name="arp"      type="Log_style" />
+			<xs:attribute name="icmp"     type="Log_style" />
+			<xs:attribute name="udp"      type="Log_style" />
+			<xs:attribute name="tcp"      type="Log_style" />
+			<xs:attribute name="dhcp"     type="Log_style" />
+		</xs:complexType>
+	</xs:element><!-- config -->
+
+</xs:schema>
diff --git a/repos/os/src/server/nic_dump/target.mk b/repos/os/src/server/nic_dump/target.mk
index 5684689b8d..8dfc1e457e 100644
--- a/repos/os/src/server/nic_dump/target.mk
+++ b/repos/os/src/server/nic_dump/target.mk
@@ -5,3 +5,5 @@ LIBS += base net
 SRC_CC += component.cc main.cc packet_log.cc uplink.cc interface.cc
 
 INC_DIR += $(PRG_DIR)
+
+CONFIG_XSD = config.xsd