From 1b8e7820d8e16df5510952b50a9bf6e57f10dbb0 Mon Sep 17 00:00:00 2001
From: Alexander Boettcher <alexander.boettcher@genode-labs.com>
Date: Wed, 17 Apr 2013 10:30:14 +0200
Subject: [PATCH] run: update tcp_terminal to run in 64bit setups

---
 gems/run/tcp_terminal.run | 12 +++---------
 1 file changed, 3 insertions(+), 9 deletions(-)

diff --git a/gems/run/tcp_terminal.run b/gems/run/tcp_terminal.run
index 566ba64e2..f8d1bef18 100644
--- a/gems/run/tcp_terminal.run
+++ b/gems/run/tcp_terminal.run
@@ -11,12 +11,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 }
-
 #
 # Build
 #
@@ -53,7 +47,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">
@@ -61,7 +55,7 @@ set config {
 		<provides> <service name="Nic"/> </provides>
 	</start>
 	<start name="tcp_terminal">
-		<resource name="RAM" quantum="2M"/>
+		<resource name="RAM" quantum="2560K"/>
 		<provides> <service name="Terminal"/> </provides>
 		<config>
 			<policy label="test-terminal_echo" port="8888"/>
@@ -73,7 +67,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> }