diff --git a/repos/os/include/util/xml_generator.h b/repos/os/include/util/xml_generator.h
index d1a8418741..6ff8097010 100644
--- a/repos/os/include/util/xml_generator.h
+++ b/repos/os/include/util/xml_generator.h
@@ -312,6 +312,12 @@ class Genode::Xml_generator
 			_curr_node->insert_attribute(name, str);
 		}
 
+		template <size_t N>
+		void attribute(char const *name, String<N> const &str)
+		{
+			_curr_node->insert_attribute(name, str.string());
+		}
+
 		void attribute(char const *name, long value)
 		{
 			char buf[64];