From 930c29a50cea1d0f20f30a62e7c991a419e60c05 Mon Sep 17 00:00:00 2001
From: Martin Stein <martin.stein@genode-labs.com>
Date: Mon, 19 Mar 2018 19:15:25 +0100
Subject: [PATCH] nic_router: != operator for IP config

Ref #2670
---
 repos/os/src/server/nic_router/ipv4_config.h | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/repos/os/src/server/nic_router/ipv4_config.h b/repos/os/src/server/nic_router/ipv4_config.h
index 304586d165..f92c396ed4 100644
--- a/repos/os/src/server/nic_router/ipv4_config.h
+++ b/repos/os/src/server/nic_router/ipv4_config.h
@@ -33,6 +33,12 @@ struct Net::Ipv4_config
 	            Ipv4_address        gateway);
 
 	Ipv4_config() { }
+
+	bool operator != (Ipv4_config const &other) const
+	{
+		return interface != other.interface ||
+		       gateway   != other.gateway;
+	}
 };
 
 #endif /* _IPV4_CONFIG_H_ */