From 0d488925ee16b4305567eb899ab3ae861d38dbd1 Mon Sep 17 00:00:00 2001
From: Emery Hemingway <emery@vfemail.net>
Date: Thu, 23 Mar 2017 12:10:00 -0500
Subject: [PATCH] server/rom_filter: generate top-level attributes

Conditionally inject attributes on the output XML node with
``<attribute name="..." value="..."``

Fix #2348
---
 repos/os/src/server/rom_filter/main.cc | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

diff --git a/repos/os/src/server/rom_filter/main.cc b/repos/os/src/server/rom_filter/main.cc
index eb1f5370fb..271e16c7e5 100644
--- a/repos/os/src/server/rom_filter/main.cc
+++ b/repos/os/src/server/rom_filter/main.cc
@@ -279,7 +279,14 @@ void Rom_filter::Main::_evaluate_node(Xml_node node, Xml_generator &xml)
 				if (node.has_sub_node("else"))
 					_evaluate_node(node.sub_node("else"), xml);
 			}
-		}
+		} else
+
+		if (node.has_type("attribute")) {
+			typedef Genode::String<128> String;
+			xml.attribute(
+				node.attribute_value("name", String()).string(),
+				node.attribute_value("value", String()).string());
+		} else
 
 		if (node.has_type("inline")) {
 			char const *src     = node.content_base();