From 431c80bbca8e8f7d490ff43cd29307acb51bc11c Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Thu, 24 Jan 2019 13:59:43 +0100
Subject: [PATCH] Add missing 'root' attribute to vfs policies

The commit "os: avoid using deprecated APIs" tightens the policy
configuration of the VFS server such that the 'root' attribute is no
longer optional.
---
 repos/libports/recipes/pkg/test-sequence/runtime | 2 +-
 repos/os/recipes/pkg/test-fs_log/runtime         | 2 +-
 repos/os/run/log_core.run                        | 2 +-
 3 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/repos/libports/recipes/pkg/test-sequence/runtime b/repos/libports/recipes/pkg/test-sequence/runtime
index a84f490cd..7350a8890 100644
--- a/repos/libports/recipes/pkg/test-sequence/runtime
+++ b/repos/libports/recipes/pkg/test-sequence/runtime
@@ -43,7 +43,7 @@
 			<provides> <service name="File_system"/> </provides>
 			<config>
 				<vfs> <log/> </vfs>
-				<default-policy writeable="yes"/>
+				<default-policy root="/" writeable="yes"/>
 			</config>
 		</start>
 		<start name="log_2" caps="64">
diff --git a/repos/os/recipes/pkg/test-fs_log/runtime b/repos/os/recipes/pkg/test-fs_log/runtime
index 64d6d7999..03c3cbe1c 100644
--- a/repos/os/recipes/pkg/test-fs_log/runtime
+++ b/repos/os/recipes/pkg/test-fs_log/runtime
@@ -39,7 +39,7 @@
 					<log name="bomb-master.log"/>
 					<dir name="bomb-master"> <log name="bomb_g5.log"/> </dir>
 				</vfs>
-				<policy label_prefix="fs_log" writeable="yes"/>
+				<policy label_prefix="fs_log" writeable="yes" root="/"/>
 			</config>
 		</start>
 		<start name="fs_log">
diff --git a/repos/os/run/log_core.run b/repos/os/run/log_core.run
index 407800256..fff02cd48 100644
--- a/repos/os/run/log_core.run
+++ b/repos/os/run/log_core.run
@@ -53,7 +53,7 @@ append config {
 				<!-- be careful to avoid endless output loop for core.log -->
 				<dir name="log_core"> <} [log_service] { name="log.log"/> </dir>
 			</vfs>
-			<policy label_prefix="fs_log" writeable="yes"/>
+			<policy label_prefix="fs_log" writeable="yes" root="/"/>
 		</config>
 	</start>