diff --git a/repos/os/include/os/attached_rom_dataspace.h b/repos/os/include/os/attached_rom_dataspace.h index 75fb017724..01d1520498 100644 --- a/repos/os/include/os/attached_rom_dataspace.h +++ b/repos/os/include/os/attached_rom_dataspace.h @@ -69,6 +69,11 @@ class Genode::Attached_rom_dataspace Attached_rom_dataspace(char const *name) : _rom(name) { _try_attach(); } + /** + * Return capability of the used dataspace + */ + Dataspace_capability cap() const { return _ds->cap(); } + template T *local_addr() { return _ds->local_addr(); } size_t size() const { return _ds->size(); }