mirror of
https://github.com/genodelabs/genode.git
synced 2025-04-07 19:34:56 +00:00
parent
686dd8affd
commit
695a212877
@ -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"); }); });
|
||||
});
|
||||
}
|
||||
};
|
||||
|
Loading…
x
Reference in New Issue
Block a user