From f11b0439b22402af59a3f2e63c33c9954378b911 Mon Sep 17 00:00:00 2001
From: Sebastian Sumpf <sebastian.sumpf@genode-labs.com>
Date: Tue, 26 Aug 2014 16:41:21 +0200
Subject: [PATCH] lwip_lx.run: Increase timer quota

---
 repos/libports/run/lwip_lx.run | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/repos/libports/run/lwip_lx.run b/repos/libports/run/lwip_lx.run
index c42e7985ba..24d5168347 100644
--- a/repos/libports/run/lwip_lx.run
+++ b/repos/libports/run/lwip_lx.run
@@ -33,7 +33,7 @@ set config {
 		<any-service> <parent/> <any-child/> </any-service>
 	</default-route>
 	<start name="timer">
-		<resource name="RAM" quantum="512K"/>
+		<resource name="RAM" quantum="1M"/>
 		<provides> <service name="Timer"/> </provides>
 	</start>
 	<start name="nic_drv">