1.1 --- a/libmem/lib/src/memory_incremental.cc Thu Mar 07 22:41:40 2024 +0100
1.2 +++ b/libmem/lib/src/memory_incremental.cc Thu Mar 07 23:50:26 2024 +0100
1.3 @@ -20,6 +20,7 @@
1.4 */
1.5
1.6 #include <l4/re/c/mem_alloc.h>
1.7 +#include <l4/re/c/rm.h>
1.8
1.9 #include "memory_incremental.h"
1.10