diff --git a/repos/os/src/drivers/platform/legacy/x86/pci_session_component.h b/repos/os/src/drivers/platform/legacy/x86/pci_session_component.h index 68a8f7ecba..c157edf06c 100644 --- a/repos/os/src/drivers/platform/legacy/x86/pci_session_component.h +++ b/repos/os/src/drivers/platform/legacy/x86/pci_session_component.h @@ -405,7 +405,7 @@ class Platform::Session_component : public Rpc_object return; /* if this bdf is used by some policy - deny */ - if (find_dev_in_policy(bdf)) + if (alias != "ALL" && find_dev_in_policy(bdf)) return; throw true;