From 5f5d709c0776e904084bb0b8776baa1c0ae69a15 Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Fri, 20 Sep 2019 16:33:22 +0200
Subject: [PATCH] libc: remove global libc_config()

Issue #3497
---
 repos/libports/src/lib/libc/internal/legacy.h | 5 -----
 repos/libports/src/lib/libc/legacy.cc         | 6 ------
 2 files changed, 11 deletions(-)

diff --git a/repos/libports/src/lib/libc/internal/legacy.h b/repos/libports/src/lib/libc/internal/legacy.h
index 0025e0b6f..c9f927a60 100644
--- a/repos/libports/src/lib/libc/internal/legacy.h
+++ b/repos/libports/src/lib/libc/internal/legacy.h
@@ -43,11 +43,6 @@ namespace Libc {
 	 * XXX  this function is solely needed to support noux fork mechanism
 	 */
 	void schedule_suspend(void (*) ());
-
-	/**
-	 * Access libc configuration Xml_node.
-	 */
-	Xml_node libc_config();
 }
 
 #endif /* _LIBC__INTERNAL__LEGACY_H_ */
diff --git a/repos/libports/src/lib/libc/legacy.cc b/repos/libports/src/lib/libc/legacy.cc
index 56fce9c9a..1eb086697 100644
--- a/repos/libports/src/lib/libc/legacy.cc
+++ b/repos/libports/src/lib/libc/legacy.cc
@@ -35,9 +35,3 @@ void Libc::schedule_suspend(void (*suspended) ())
 {
 	Kernel::kernel().schedule_suspend(suspended);
 }
-
-
-Genode::Xml_node Libc::libc_config()
-{
-	return Kernel::kernel().libc_env().libc_config();
-}