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 + 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_ */