diff --git a/repos/os/include/util/print_lines.h b/repos/base/include/util/print_lines.h
similarity index 95%
rename from repos/os/include/util/print_lines.h
rename to repos/base/include/util/print_lines.h
index e5dc1b5bae..ec54547c0b 100644
--- a/repos/os/include/util/print_lines.h
+++ b/repos/base/include/util/print_lines.h
@@ -11,8 +11,8 @@
  * under the terms of the GNU General Public License version 2.
  */
 
-#ifndef _INCLUDE__OS__PRINT_LINES_H_
-#define _INCLUDE__OS__PRINT_LINES_H_
+#ifndef _INCLUDE__UTIL__PRINT_LINES_H_
+#define _INCLUDE__UTIL__PRINT_LINES_H_
 
 #include <util/string.h>
 
@@ -93,4 +93,4 @@ void Genode::print_lines(char const *string, size_t len, FUNC const &func)
 	}
 }
 
-#endif /* _INCLUDE__OS__PRINT_LINES_H_ */
+#endif /* _INCLUDE__UTIL__PRINT_LINES_H_ */
diff --git a/repos/os/include/util/xml_generator.h b/repos/base/include/util/xml_generator.h
similarity index 100%
rename from repos/os/include/util/xml_generator.h
rename to repos/base/include/util/xml_generator.h
diff --git a/repos/os/include/util/xml_node.h b/repos/base/include/util/xml_node.h
similarity index 99%
rename from repos/os/include/util/xml_node.h
rename to repos/base/include/util/xml_node.h
index 6c0a0feebd..3ad90a3041 100644
--- a/repos/os/include/util/xml_node.h
+++ b/repos/base/include/util/xml_node.h
@@ -18,10 +18,8 @@
 #include <base/exception.h>
 
 namespace Genode {
-
 	class Xml_attribute;
 	class Xml_node;
-
 }