<?xml version="1.0"?>
<xs:schema xmlns:xs="http://www.w3.org/2001/XMLSchema">

	<xs:include schemaLocation="genode://base_types.xsd"/>

	<xs:element name="config">
		<xs:complexType>
			<xs:attribute name="verbose" type="Boolean" />
		</xs:complexType>
	</xs:element><!-- config -->

</xs:schema>
