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"); }); }); }); } };