From ae88dc233ce7a8d24f853e3f6b15be7d20f53896 Mon Sep 17 00:00:00 2001
From: Sebastian Sumpf <sebastian.sumpf@genode-labs.com>
Date: Wed, 18 Jul 2012 15:46:07 +0200
Subject: [PATCH] ACPI: Increase quota of PCI service

Some tests trigger memory exhaustions of the PCI-slave service used by the
ACPI-driver.
---
 os/src/drivers/acpi/main.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/os/src/drivers/acpi/main.cc b/os/src/drivers/acpi/main.cc
index 8f3924524..4b9ccb22c 100644
--- a/os/src/drivers/acpi/main.cc
+++ b/os/src/drivers/acpi/main.cc
@@ -202,7 +202,7 @@ int main(int argc, char **argv)
 	/* use 'pci_drv' as slave service */
 	static Rpc_entrypoint pci_ep(&cap, STACK_SIZE, "pci_slave");
 	static Pci_policy     pci_policy(pci_ep, ep, irq_ep);
-	static Genode::Slave  pci_slave(pci_ep, pci_policy, 512 * 1024);
+	static Genode::Slave  pci_slave(pci_ep, pci_policy, 1024 * 1024);
 
 	Genode::sleep_forever();
 	return 0;