os: check path for dataspace in ROM VFS plugin

Fixes #3879.
This commit is contained in:
Josef Söntgen 2020-09-08 14:30:29 +02:00 committed by Christian Helmuth
parent be14e68a83
commit 9e97393e3a

View File

@ -170,8 +170,11 @@ class Vfs::Rom_file_system : public Single_file_system
catch (Genode::Out_of_caps) { return OPEN_ERR_OUT_OF_CAPS; }
}
Dataspace_capability dataspace(char const *) override
Dataspace_capability dataspace(char const *path) override
{
if (!_single_file(path))
return Genode::Dataspace_capability();
return _rom.cap();
}