From cd373f20c1b9a214473119c2486305be4471bab8 Mon Sep 17 00:00:00 2001
From: Alexander Boettcher <alexander.boettcher@genode-labs.com>
Date: Fri, 10 Aug 2012 10:16:23 +0200
Subject: [PATCH] Enable lwip.run for 64bit

We have a driver in dde_ipxe repository which is working fine. Increase
slightly the ram quota for the timer to run in qemu.
---
 libports/run/lwip.run | 8 +-------
 1 file changed, 1 insertion(+), 7 deletions(-)

diff --git a/libports/run/lwip.run b/libports/run/lwip.run
index 0cdc4a5417..cdb324c979 100644
--- a/libports/run/lwip.run
+++ b/libports/run/lwip.run
@@ -22,12 +22,6 @@
 if {[have_spec linux]} {
 	puts "Run script does not support Linux."; exit 0 }
 
-#
-# XXX: Currently, we have no NIC driver for 64-bit
-#
-if {[have_spec 64bit]} {
-	puts "Run script does not support 64-bit platforms."; exit 0 }
-
 requires_installation_of lynx
 
 #
@@ -65,7 +59,7 @@ set config {
 		<any-service> <parent/> <any-child/> </any-service>
 	</default-route>
 	<start name="timer">
-		<resource name="RAM" quantum="512K"/>
+		<resource name="RAM" quantum="568K"/>
 		<provides> <service name="Timer"/> </provides>
 	</start>
 	<start name="nic_drv">