From 9f6838ae4250f81583c09b81ac3d90f03cfc3106 Mon Sep 17 00:00:00 2001
From: Emery Hemingway <ehmry@posteo.net>
Date: Mon, 16 Jul 2018 17:00:30 +0200
Subject: [PATCH] Libc: internal accessor for <libc/> config

Add an internal accessor for the libc configuration node.

Ref #2919
---
 repos/libports/src/lib/libc/task.cc | 6 ++++++
 repos/libports/src/lib/libc/task.h  | 7 +++++++
 2 files changed, 13 insertions(+)

diff --git a/repos/libports/src/lib/libc/task.cc b/repos/libports/src/lib/libc/task.cc
index f15aa41db2..c0ae3e360e 100644
--- a/repos/libports/src/lib/libc/task.cc
+++ b/repos/libports/src/lib/libc/task.cc
@@ -951,6 +951,12 @@ void Libc::execute_in_application_context(Libc::Application_code &app_code)
 }
 
 
+Genode::Xml_node Libc::libc_config()
+{
+	return kernel->libc_env().libc_config();
+}
+
+
 /***************************
  ** Component entry point **
  ***************************/
diff --git a/repos/libports/src/lib/libc/task.h b/repos/libports/src/lib/libc/task.h
index b6f597e249..fbac5921c5 100644
--- a/repos/libports/src/lib/libc/task.h
+++ b/repos/libports/src/lib/libc/task.h
@@ -21,6 +21,8 @@
 #ifndef _LIBC__TASK_H_
 #define _LIBC__TASK_H_
 
+#include <util/xml_node.h>
+
 namespace Libc {
 
 	/**
@@ -66,6 +68,11 @@ namespace Libc {
 	 * Schedule select handler that is deblocked by ready fd sets
 	 */
 	void schedule_select(Select_handler_base *);
+
+	/**
+	 * Access libc configuration Xml_node.
+	 */
+	Genode::Xml_node libc_config();
 }
 
 #endif /* _LIBC__TASK_H_ */