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 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;