From be4971eb0a4a9c818925b0bcc62b33e0a70ad5d7 Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Tue, 2 Sep 2014 18:06:03 +0200
Subject: [PATCH] libports: fix VFS config of sdl.run

---
 repos/libports/run/sdl.run | 8 +++++---
 1 file changed, 5 insertions(+), 3 deletions(-)

diff --git a/repos/libports/run/sdl.run b/repos/libports/run/sdl.run
index 659833d30..e95951b13 100644
--- a/repos/libports/run/sdl.run
+++ b/repos/libports/run/sdl.run
@@ -70,9 +70,11 @@ append config {
 	</start>
 	<start name="test-sdl">
 		<resource name="RAM" quantum="32M"/>
-		<libc stdout="/dev/log">
-			<vfs> <dir name="dev"> <log/> </dir> </vfs>
-		</libc>
+		<config>
+			<libc stdout="/dev/log">
+				<vfs> <dir name="dev"> <log/> </dir> </vfs>
+			</libc>
+		</config>
 	</start>
 </config>}