1.1 --- a/libmem/lib/src/memory_incremental.cc Tue May 24 00:34:05 2022 +0200
1.2 +++ b/libmem/lib/src/memory_incremental.cc Fri May 27 00:38:27 2022 +0200
1.3 @@ -55,8 +55,8 @@
1.4 size = round_multiple(size, PAGE_SIZE);
1.5
1.6 /* Use allocation permitting executable mapping of the memory.
1.7 - NOTE: A collection of blocks needs to be allocated, and a collection of
1.8 - dataspaces might also be employed. */
1.9 + NOTE: Here, it might be beneficial to employ an allocator that obtains
1.10 + dataspaces and provides multiple blocks from each dataspace. */
1.11
1.12 if (ipc_allocate_align(size, L4RE_RM_F_SEARCH_ADDR | L4RE_RM_F_RWX, page_order(size), ¤t, &ds))
1.13 return NULL;