# HG changeset patch
# User Paul Boddie <paul@boddie.org.uk>
# Date 1653604707 -7200
# Node ID a1c680a25972191e6c77ad69d29252d909199870
# Parent  e32a48700c0a70360d8106de7367baa18c258d0c
Modified a note about possible allocation improvements.

diff -r e32a48700c0a -r a1c680a25972 libmem/lib/src/memory_incremental.cc
--- a/libmem/lib/src/memory_incremental.cc	Tue May 24 00:34:05 2022 +0200
+++ b/libmem/lib/src/memory_incremental.cc	Fri May 27 00:38:27 2022 +0200
@@ -55,8 +55,8 @@
     size = round_multiple(size, PAGE_SIZE);
 
     /* Use allocation permitting executable mapping of the memory.
-       NOTE: A collection of blocks needs to be allocated, and a collection of
-             dataspaces might also be employed. */
+       NOTE: Here, it might be beneficial to employ an allocator that obtains
+             dataspaces and provides multiple blocks from each dataspace. */
 
     if (ipc_allocate_align(size, L4RE_RM_F_SEARCH_ADDR | L4RE_RM_F_RWX, page_order(size), &current, &ds))
         return NULL;