From 8b7067d28999dac591f023181d8d43c904f1ad1d Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Tue, 15 Feb 2022 15:18:04 +0100
Subject: [PATCH] sd_card_bench.run: assign 'managing_system' role

Issue #2243
---
 repos/os/run/sd_card_bench.run | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/repos/os/run/sd_card_bench.run b/repos/os/run/sd_card_bench.run
index ae4d8747b4..683499b441 100644
--- a/repos/os/run/sd_card_bench.run
+++ b/repos/os/run/sd_card_bench.run
@@ -83,7 +83,7 @@ install_config {
 	</parent-provides>
 	<default caps="100"/>
 
-	<start name="platform_drv">
+	<start name="platform_drv" managing_system="yes">
 		<binary name="} [platform_drv] {"/>
 		<resource name="RAM" quantum="1M"/>
 		<provides><service name="Platform"/></provides>