From 695a212877a270567b12b4268aaa97475ba27968 Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Tue, 13 Aug 2019 14:28:34 +0200
Subject: [PATCH] noux: preload libc_noux.lib.so for noux processes

Issue #3472
---
 repos/ports/src/noux/child.h | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/repos/ports/src/noux/child.h b/repos/ports/src/noux/child.h
index 5752d868b..3c13d3e8c 100644
--- a/repos/ports/src/noux/child.h
+++ b/repos/ports/src/noux/child.h
@@ -95,6 +95,10 @@ struct Noux::Child_config : Attached_ram_dataspace
 		{
 			if (verbose.ld())
 				xml.attribute("ld_verbose", "yes");
+
+			xml.node("ld", [&] () {
+				xml.node("library", [&] () {
+					xml.attribute("rom", "libc_noux.lib.so"); }); });
 		});
 	}
 };