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

ping_nic_router.run: test dhcp renew 

Ref #3681
This commit is contained in:
Martin Stein 2020-03-12 13:00:07 +01:00 committed by Christian Helmuth
parent cfeb9c027a
commit 672cb57cc2
1 changed files with 4 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
repos/os/run/ping_nic_router.run
View File

@ -82,6 +82,9 @@ append config {
<udp dst="} [good_dst_ip] {/24">
<permit port="} [bad_dst_port] {" domain="uplink"/>
</udp>
<dhcp-server ip_first="10.0.4.2"
ip_last="10.0.4.200"
ip_lease_time_sec="4"/>
</domain>
<domain name="ping_1" interface="10.0.3.1/24">
@ -106,7 +109,7 @@ append config {
<policy label_prefix="ping_2" domain="ping_2"/>
<uplink domain="uplink"/>
<domain name="uplink" interface="10.0.4.2/24" gateway="10.0.4.1">
<domain name="uplink">
<nat domain="ping_2" icmp-ids="100" udp-ports="100"/>
</domain>