From c36909e5dc67273ee7ac66aa9f65f77b1f4247f8 Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Fri, 22 Mar 2013 12:45:31 +0100
Subject: [PATCH] acpi: Adjust device_pd quota for 64bit machines

---
 libports/run/lwip.run      | 4 ++--
 os/src/drivers/pci/main.cc | 6 +++---
 2 files changed, 5 insertions(+), 5 deletions(-)

diff --git a/libports/run/lwip.run b/libports/run/lwip.run
index dcbd3c4a5..641672c94 100644
--- a/libports/run/lwip.run
+++ b/libports/run/lwip.run
@@ -69,7 +69,7 @@ set config {
 		<provides> <service name="Timer"/> </provides>
 	</start>
 	<start name="test-lwip_httpsrv">
-		<resource name="RAM" quantum="2M"/>
+		<resource name="RAM" quantum="3M"/>
 	</start> }
 
 append_if [have_spec omap4] config {
@@ -91,7 +91,7 @@ append_if [expr ![have_spec omap4]] config {
 
 append_if [have_spec acpi] config {
 	<start name="acpi">
-		<resource name="RAM" quantum="5M"/>
+		<resource name="RAM" quantum="6M"/>
 		<binary name="acpi_drv"/>
 		<provides>
 			<service name="PCI"/>
diff --git a/os/src/drivers/pci/main.cc b/os/src/drivers/pci/main.cc
index e64d96483..4ce6071dd 100644
--- a/os/src/drivers/pci/main.cc
+++ b/os/src/drivers/pci/main.cc
@@ -80,8 +80,8 @@ int main(int argc, char **argv)
 	 * Initialize server entry point
 	 */
 	enum {
-		STACK_SIZE       = 2 * sizeof(addr_t)*1024,
-		PCI_DEVICE_PD_RAM_QUOTA = 512 * 1024,
+		STACK_SIZE              = 2 * sizeof(addr_t)*1024,
+		PCI_DEVICE_PD_RAM_QUOTA = sizeof(addr_t) * 128 * 1024,
 	};
 
 	static Cap_connection cap;
@@ -93,7 +93,7 @@ int main(int argc, char **argv)
 		static Rpc_entrypoint   device_pd_ep(&cap, STACK_SIZE, "device_pd_slave");
 		static Device_pd_policy device_pd_policy(device_pd_ep);
 		static Genode::Slave    device_pd_slave(device_pd_ep, device_pd_policy,
-	                                        PCI_DEVICE_PD_RAM_QUOTA);
+		                                        PCI_DEVICE_PD_RAM_QUOTA);
 		session_dev_pd = Genode::Root_client(device_pd_policy.root()).session("");
 	} catch (...) {
 		PWRN("PCI device protection domain for IOMMU support is not available");