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
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;
};
------------------------------------------------------------------------------
Live Security Virtual Conference
Exclusive live event will cover all the ways today's security and
threat landscape has changed and how IT managers can respond. Discussions
will include endpoint security, mobile security and the latest in malware
threats. http://www.accelacomm.com/jaw/sfrnl04242012/114/50122263/
_______________________________________________
Genode-main mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/genode-main
