ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-01-30 16:14:13 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

ping_nic_router.run: test dhcp renew

Browse Source 
Ref #3681
This commit is contained in:
Martin Stein 2020-03-12 13:00:07 +01:00 committed by Norman Feske
parent 2912096f6e
commit 886d0da57c
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>