denshooter/genode
1
0
Fork 0
mirror of https://github.com/mmueller41/genode.git synced 2026-01-21 20:42:56 +01:00
Code Issues Packages Projects Releases Wiki Activity

Increased ram and adjusted IP address in ping.run.

Browse Source
This commit is contained in:
Michael Mueller
2025-01-28 13:46:37 +01:00
parent a57ec384ff
commit 3ec2bfd92d
1 changed files with 4 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
repos/os/run/ping.run
View File

@@ -73,7 +73,7 @@ proc dst_ip { } {
global on_hardware
if {$on_hardware} {
return "10.0.0.2"
return "192.168.0.1"
} else {
return "10.0.2.2"
}
@@ -106,7 +106,7 @@ append config {
</start>
<start name="drivers" caps="1200" managing_system="yes">
<resource name="RAM" quantum="32M"/>
<resource name="RAM" quantum="512M"/>
<binary name="init"/>
<route>
<service name="ROM" label="config"> <parent label="drivers.config"/> </service>
@@ -135,7 +135,7 @@ append config {
<policy label_prefix="drivers" domain="uplink"/>
<policy label_prefix="ping" domain="downlink"/>
<domain name="uplink">
<domain name="uplink" interface="192.168.0.2/24" gateway="192.168.0.1">
<nat domain="downlink" icmp-ids="100" udp-ports="100"/>
@@ -180,7 +180,7 @@ append config {
period_sec="1"
report="yes"
verbose="no"
count="3"/>
count="100"/>
<route>
<service name="Report"> <child name="report_rom"/> </service>
<service name="Nic"> <child name="nic_router"/> </service>