diff --git a/libports/src/lib/libc/vfs_plugin.cc b/libports/src/lib/libc/vfs_plugin.cc
index 3c5cfc2f9..44c7c4cef 100644
--- a/libports/src/lib/libc/vfs_plugin.cc
+++ b/libports/src/lib/libc/vfs_plugin.cc
@@ -164,7 +164,8 @@ class Libc_file_system_factory : public Vfs::File_system_factory
namespace Libc {
- static Genode::Xml_node config()
+ Genode::Xml_node config() __attribute__((weak));
+ Genode::Xml_node config()
{
return Genode::config()->xml_node().sub_node("libc");
}
diff --git a/ports/src/lib/libc_noux/plugin.cc b/ports/src/lib/libc_noux/plugin.cc
index d7876d30d..6725e539c 100644
--- a/ports/src/lib/libc_noux/plugin.cc
+++ b/ports/src/lib/libc_noux/plugin.cc
@@ -68,10 +68,11 @@ enum { verbose_signals = false };
namespace Libc {
/*
- * Override the weak function interface of the VFS plugin as Noux programs
- * do not obtain a VFS configuration via Genode's config mechansim.
+ * Override the weak function interface of the libc and VFS plugin as Noux
+ * programs do not obtain such configuration via Genode's config mechanism.
*/
- Genode::Xml_node vfs_config() { return Xml_node(""); }
+ Genode::Xml_node config() { return Xml_node(""); }
+ Genode::Xml_node vfs_config() { return Xml_node(""); }
}