From 1d1942f48ad67e7aa2865534db00991e554d9836 Mon Sep 17 00:00:00 2001
From: Christian Prochaska <christian.prochaska@genode-labs.com>
Date: Tue, 11 Sep 2018 18:13:39 +0200
Subject: [PATCH] arora.run: use VFS server for socket file system

Using the lxip VFS plugin locally can cause a deadlock in the browser
(see issue #2635).

Fixes #2977
---
 repos/ports/run/arora.run | 14 +++++++++++++-
 1 file changed, 13 insertions(+), 1 deletion(-)

diff --git a/repos/ports/run/arora.run b/repos/ports/run/arora.run
index 1b7dce746a..53f676463e 100644
--- a/repos/ports/run/arora.run
+++ b/repos/ports/run/arora.run
@@ -96,6 +96,18 @@ append config {
 		</route>
 	</start>
 
+	<start name="vfs" caps="250">
+		<resource name="RAM" quantum="32M"/>
+		<provides> <service name="File_system"/> </provides>
+		<config>
+			<vfs>
+				<dir name="socket"> <lxip dhcp="yes"/> </dir>
+			</vfs>
+			<default-policy writeable="yes" root="/"/>
+		</config>
+	</start>
+
+
 	<start name="arora" caps="2000">
 		<resource name="RAM" quantum="2G"/>
 		<config clipboard="yes">
@@ -105,7 +117,7 @@ append config {
 					<jitterentropy name="random"/>
 					<inline name="rtc">2018-01-01 00:01</inline> 
 				</dir>
-				<dir name="socket"> <lxip dhcp="yes"/> </dir>
+				<fs/>
 				<tar name="qt5_dejavusans.tar"/>
 			</vfs>
 			<libc stdout="/dev/log" stderr="/dev/log" rtc="/dev/rtc" socket="/socket"/>