1.1 --- a/pkg/devices/util/src/dataspace.cc Wed May 31 16:41:49 2023 +0200
1.2 +++ b/pkg/devices/util/src/dataspace.cc Mon Jun 05 14:45:43 2023 +0200
1.3 @@ -52,7 +52,8 @@
1.4
1.5 /* Map the memory to a virtual address. */
1.6
1.7 - if (L4Re::Env::env()->rm()->attach(allocated, mem->size(), L4Re::Rm::F::Search_addr,
1.8 + if (L4Re::Env::env()->rm()->attach(allocated, mem->size(),
1.9 + L4Re::Rm::F::Search_addr | L4Re::Rm::F::RW,
1.10 L4::Ipc::make_cap_rw(mem)))
1.11 {
1.12 L4Re::Util::cap_alloc.free(mem);