From a81ad12372a426ec3c0ba4435098e7fbb1199fe9 Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Mon, 11 Mar 2013 16:40:28 +0100
Subject: [PATCH] l4linux.run: Increase quota of PCI driver

---
 ports-foc/run/l4linux.run | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ports-foc/run/l4linux.run b/ports-foc/run/l4linux.run
index e757651c8..ca38e7c28 100644
--- a/ports-foc/run/l4linux.run
+++ b/ports-foc/run/l4linux.run
@@ -52,7 +52,7 @@ set config  {
 
 append_if [have_spec pci] config {
 	<start name="pci_drv">
-		<resource name="RAM" quantum="1M"/>
+		<resource name="RAM" quantum="2M"/>
 		<provides><service name="PCI"/></provides>
 	</start>}