From 4b9fb10fdbc73159b1ad5f4f9b1834ea85597551 Mon Sep 17 00:00:00 2001
From: Stefan Kalkowski <stefan.kalkowski@genode-labs.com>
Date: Wed, 31 Aug 2022 11:30:37 +0200
Subject: [PATCH] platform_drv: aquire_single_device return first

* Only acquire and return the first device

Fix genodelabs/genode#4614
---
 repos/os/src/drivers/platform/session_component.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/repos/os/src/drivers/platform/session_component.cc b/repos/os/src/drivers/platform/session_component.cc
index 6f15cb535b..7529105cca 100644
--- a/repos/os/src/drivers/platform/session_component.cc
+++ b/repos/os/src/drivers/platform/session_component.cc
@@ -153,7 +153,7 @@ Session_component::acquire_single_device()
 	Capability<Platform::Device_interface> cap;
 
 	_devices.for_each([&] (Device & dev) {
-		if (matches(dev) && !dev.owner().valid())
+		if (!cap.valid() && matches(dev) && !dev.owner().valid())
 			cap = _acquire(dev); });
 
 	return cap;