diff --git a/repos/ports/src/virtualbox/vmm_region.h b/repos/ports/src/virtualbox/vmm_region.h
index 3efce48e7d..fb74452b43 100644
--- a/repos/ports/src/virtualbox/vmm_region.h
+++ b/repos/ports/src/virtualbox/vmm_region.h
@@ -58,7 +58,7 @@ struct Mem_region : public  Genode::List<Mem_region>::Element,
 
 		do {
 			Genode::Ram_dataspace_capability ds = env.ram().alloc(map_size);
-			attach_at(ds, _size - rest_size, map_size);
+			attach_executable(ds, _size - rest_size, map_size);
 
 			rest_size -= map_size;
 			map_size   = rest_size < sub_rm_max_ds ? rest_size : sub_rm_max_ds;
diff --git a/repos/ports/src/virtualbox5/spec/nova/sup.cc b/repos/ports/src/virtualbox5/spec/nova/sup.cc
index 3bd9fcf9d4..8fb177c2f0 100644
--- a/repos/ports/src/virtualbox5/spec/nova/sup.cc
+++ b/repos/ports/src/virtualbox5/spec/nova/sup.cc
@@ -105,11 +105,10 @@ static Sub_rm_connection &vm_memory(Genode::uint64_t vm_size = 0)
 
 		while (allocated < memory_size) {
 			Ram_dataspace_capability ds = genode_env().ram().alloc(alloc_size);
-			enum { OFFSET_DS = 0, USE_LOCAL_ADDR = true };
-			addr_t to = vm_memory.attach(ds, alloc_size, OFFSET_DS,
-			                             USE_LOCAL_ADDR,
-			                             memory.addr + allocated - vmm_local);
 
+			addr_t to = vm_memory.attach_executable(ds, memory.addr +
+			                                            allocated - vmm_local,
+			                                        alloc_size);
 			Assert(to == vm_memory.local_addr(memory.addr + allocated - vmm_local));
 			allocated += alloc_size;