Hi,

Our malloc currently uses mmap() for large allocations (and therefore the matching munmap() for freeing those large allocations). See https://github.com/seL4/musllibc/blob/sel4/src/malloc/malloc.c#L352.

So while the mmap() call is implemented, the munmap() call is not, and this is why you're seeing this issue with "syscall 91" not being successful:

https://github.com/seL4/musllibc/blob/sel4/arch/i386/bits/syscall.h#L92

https://github.com/seL4/musllibc/blob/sel4/arch/arm/bits/syscall.h#L67

​

Usually you allocate such a big chunk of memory for private use and management, so free() probably isn't a mission critical thing here (for the tutorials), unless there are factors I can't see -- let me know if this was helpful

--