From d6ee72d241306ad7316b7be06df817a39a2feef8 Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Wed, 28 Nov 2012 20:36:39 +0100
Subject: [PATCH] Fix file name

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

diff --git a/os/run/gpio_drv.run b/os/run/gpio_drv.run
index 3ac4f149af..c8319e9246 100644
--- a/os/run/gpio_drv.run
+++ b/os/run/gpio_drv.run
@@ -51,7 +51,7 @@ append config {
 			<gpio num="8" mode="O" value="0"/>
 		</config>
 	</start>
-	<start name="omap4_gpio_drv">
+	<start name="test-omap4_gpio_drv">
 		<resource name="RAM" quantum="1M"/>
 	</start>
 </config>}