Illegal session request to service CPU

[Sebastian Sumpf]

Hi Markus,

On 08/17/2012 10:40 AM, Markus Partheymueller wrote:

> The parent-provides entry and the service name="CPU" in <provides>
> were not present in my last setup, but didn't change anything.
> 
> Am I missing something or is there a problem with the most recent
> changes regarding the CPU session or NOVA-specific code?

The attached patch should fix this issue, I will check this in when the
other ACPI problems are solved.

Sebastian

-------------- next part --------------
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;
 		};