From 6712eac7e669dd6c5d2cd81cccd6d29bc8e20c48 Mon Sep 17 00:00:00 2001 From: Norman Feske Date: Wed, 3 Mar 2021 17:02:22 +0100 Subject: [PATCH] platform driver: use same label for all device PDs Fixes #4037 --- repos/os/src/drivers/platform/spec/x86/device_pd.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/repos/os/src/drivers/platform/spec/x86/device_pd.h b/repos/os/src/drivers/platform/spec/x86/device_pd.h index f3edcb4cd4..ab378dfe83 100644 --- a/repos/os/src/drivers/platform/spec/x86/device_pd.h +++ b/repos/os/src/drivers/platform/spec/x86/device_pd.h @@ -103,7 +103,7 @@ class Platform::Device_pd Genode::Ram_quota_guard &ram_guard, Genode::Cap_quota_guard &cap_guard) : - _pd(env, label.string(), Genode::Pd_connection::Virt_space::UNCONSTRAIN), + _pd(env, "device PD", Genode::Pd_connection::Virt_space::UNCONSTRAIN), _label(label), _address_space(env, _pd, ram_guard, cap_guard) {