From 7a359f95a33ae3eb55968e45f32e40572bb00770 Mon Sep 17 00:00:00 2001
From: Sebastian Sumpf <sebastian.sumpf@genode-labs.com>
Date: Fri, 29 Sep 2017 17:04:58 +0200
Subject: [PATCH] wifi: use with libc in config update

---
 repos/dde_linux/src/drivers/wifi/main.cc | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/repos/dde_linux/src/drivers/wifi/main.cc b/repos/dde_linux/src/drivers/wifi/main.cc
index 05d93731ad..e6843612a7 100644
--- a/repos/dde_linux/src/drivers/wifi/main.cc
+++ b/repos/dde_linux/src/drivers/wifi/main.cc
@@ -206,7 +206,10 @@ struct Wlan_configration
 			_activate_configuration();
 	}
 
-	void _handle_update() { _update_configuration(); }
+	void _handle_update()
+	{
+		Libc::with_libc([&] () { _update_configuration(); });
+	}
 
 	Wlan_configration(Genode::Env &env)
 	: