From 2350eac251efe4b428db68cc199fc9af32d896d6 Mon Sep 17 00:00:00 2001
From: Christian Helmuth <christian.helmuth@genode-labs.com>
Date: Fri, 3 Oct 2014 19:20:20 +0200
Subject: [PATCH] xml_generator: timer not needed for test

---
 repos/os/run/xml_generator.run | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/repos/os/run/xml_generator.run b/repos/os/run/xml_generator.run
index 44f94eeca..c7679bf0c 100644
--- a/repos/os/run/xml_generator.run
+++ b/repos/os/run/xml_generator.run
@@ -23,7 +23,7 @@ install_config {
 	</config>
 }
 
-build_boot_image "core init timer test-xml_generator"
+build_boot_image "core init test-xml_generator"
 
 append qemu_args "-nographic -m 64"