From b57c6294494e813727b99b33d40a9e7b6e5e3570 Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Tue, 18 Sep 2012 17:14:28 +0200
Subject: [PATCH] Adapt timer quota to change in 'Allocator_avl'

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

diff --git a/libports/run/lwip.run b/libports/run/lwip.run
index cdb324c97..9723825f3 100644
--- a/libports/run/lwip.run
+++ b/libports/run/lwip.run
@@ -59,7 +59,7 @@ set config {
 		<any-service> <parent/> <any-child/> </any-service>
 	</default-route>
 	<start name="timer">
-		<resource name="RAM" quantum="568K"/>
+		<resource name="RAM" quantum="1M"/>
 		<provides> <service name="Timer"/> </provides>
 	</start>
 	<start name="nic_drv">