ehmry/genode
ehmry
/
genode
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

run: update tcp_terminal to run in 64bit setups

This commit is contained in:
Alexander Boettcher 2013-04-17 10:30:14 +02:00 committed by Norman Feske
parent 94629ad493
commit 1b8e7820d8
1 changed files with 3 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
gems/run/tcp_terminal.run
View File

@ -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> }