diff --git a/repos/ports/src/noux/main.cc b/repos/ports/src/noux/main.cc index dc64da23b6..46f229f043 100644 --- a/repos/ports/src/noux/main.cc +++ b/repos/ports/src/noux/main.cc @@ -1062,7 +1062,7 @@ static Noux::Io_channel *connect_stdio(Vfs::Dir_file_system &root, } return new (Genode::env()->heap()) - Vfs_io_channel("", path, &root, vfs_handle, sig_rec); + Vfs_io_channel(path, root.leaf_path(path), &root, vfs_handle, sig_rec); } catch (Genode::Xml_node::Nonexistent_attribute) { PWRN("%s VFS path not defined, connecting to Terminal session", stdio_name);