diff --git a/os/src/drivers/acpi/main.cc b/os/src/drivers/acpi/main.cc index 4b9ccb2..5737392 100644 --- a/os/src/drivers/acpi/main.cc +++ b/os/src/drivers/acpi/main.cc @@ -129,7 +129,7 @@ class Pci_policy : public Genode::Slave_policy, public Pci::Provider char const **_permitted_services() const { - static char const *permitted_services[] = { "CAP", "RM", "LOG", "IO_PORT", 0 }; + static char const *permitted_services[] = { "CPU", "CAP", "RM", "LOG", "IO_PORT", 0 }; return permitted_services; };