From b8d8bc31428478bf5ac4cdc6f47d1aef688fe908 Mon Sep 17 00:00:00 2001
From: Martin Stein <martin.stein@genode-labs.com>
Date: Mon, 4 Dec 2017 18:31:05 +0100
Subject: [PATCH] nic_router: do not route to domains w/o IP config

Ref #2534
---
 repos/os/src/server/nic_router/interface.cc | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/repos/os/src/server/nic_router/interface.cc b/repos/os/src/server/nic_router/interface.cc
index cc68785e46..f9c3c9a47e 100644
--- a/repos/os/src/server/nic_router/interface.cc
+++ b/repos/os/src/server/nic_router/interface.cc
@@ -272,6 +272,9 @@ void Interface::_adapt_eth(Ethernet_frame          &eth,
                            Packet_descriptor const &pkt,
                            Interface               &interface)
 {
+	if (!interface.domain().ip_config().valid) {
+		throw Packet_ignored("target domain has yet no IP config");
+	}
 	Ipv4_address const &hop_ip = interface._domain.next_hop(ip);
 	try { eth.dst(interface._arp_cache.find_by_ip(hop_ip).mac()); }
 	catch (Arp_cache::No_match) {