From bb17e7cf01087e41dad4d9b7ed85f832159bce7c Mon Sep 17 00:00:00 2001
From: Martin Stein <martin.stein@genode-labs.com>
Date: Fri, 13 Apr 2018 10:43:09 +0200
Subject: [PATCH] nic_router-nat: ICMP NAPT and DNS info forward

Downlink uses DNS server info from Uplink and routes ICMP to Uplink while
applying NAT to it.

Issue #2775
---
 repos/os/recipes/pkg/nic_router-nat/runtime | 9 ++++++---
 1 file changed, 6 insertions(+), 3 deletions(-)

diff --git a/repos/os/recipes/pkg/nic_router-nat/runtime b/repos/os/recipes/pkg/nic_router-nat/runtime
index ac2bf8f3c6..6b7486e0f9 100755
--- a/repos/os/recipes/pkg/nic_router-nat/runtime
+++ b/repos/os/recipes/pkg/nic_router-nat/runtime
@@ -6,15 +6,18 @@
 	<config verbose_domain_state="yes">
 		<default-policy domain="default" />
 		<domain name="uplink">
-			<nat domain="default" tcp-ports="1000" udp-ports="1000"/>
+			<nat domain="default"
+			     tcp-ports="1000"
+			     udp-ports="1000"
+			     icmp-ids="1000"/>
 		</domain>
 		<domain name="default" interface="10.0.1.1/24">
 			<dhcp-server ip_first="10.0.1.2"
 			             ip_last="10.0.1.200"
-			             ip_lease_time_sec="360"
-			             dns_server="1.1.1.1"/>
+			             dns_server_from="uplink"/>
 			<tcp dst="0.0.0.0/0"><permit-any domain="uplink"/></tcp>
 			<udp dst="0.0.0.0/0"><permit-any domain="uplink"/></udp>
+			<icmp dst="0.0.0.0/0" domain="uplink"/>
 		</domain>
 	</config>