From 7945bcb3530a6379ea8ea9219c562879dab29390 Mon Sep 17 00:00:00 2001
From: Martin Stein <martin.stein@genode-labs.com>
Date: Fri, 11 Feb 2022 12:25:49 +0100
Subject: [PATCH] black_hole: add config.xsd

Ref #4419
---
 repos/os/src/server/black_hole/config.xsd | 15 +++++++++++++++
 repos/os/src/server/black_hole/target.mk  |  1 +
 2 files changed, 16 insertions(+)
 create mode 100644 repos/os/src/server/black_hole/config.xsd

diff --git a/repos/os/src/server/black_hole/config.xsd b/repos/os/src/server/black_hole/config.xsd
new file mode 100644
index 0000000000..ef050a6dfa
--- /dev/null
+++ b/repos/os/src/server/black_hole/config.xsd
@@ -0,0 +1,15 @@
+<?xml version="1.0"?>
+<xs:schema xmlns:xs="http://www.w3.org/2001/XMLSchema">
+
+	<xs:element name="config">
+		<xs:complexType>
+			<xs:choice minOccurs="0" maxOccurs="unbounded">
+				<xs:element name="event"/>
+				<xs:element name="capture"/>
+				<xs:element name="audio_in"/>
+				<xs:element name="audio_out"/>
+			</xs:choice>
+		</xs:complexType>
+	</xs:element><!-- config -->
+
+</xs:schema>
diff --git a/repos/os/src/server/black_hole/target.mk b/repos/os/src/server/black_hole/target.mk
index a79e1e4981..82184a173b 100644
--- a/repos/os/src/server/black_hole/target.mk
+++ b/repos/os/src/server/black_hole/target.mk
@@ -1,3 +1,4 @@
 TARGET = black_hole
 SRC_CC = main.cc
 LIBS = base
+CONFIG_XSD = config.xsd