Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.Sign up
l4lx: allocate memory in chunks #695
When L4Linux tries to allocate a dataspace of the size of its physical memory, this allocation can fail, because the 'l4re_ma_alloc()' function in the 'l4lx' library always tries to allocate a contiguous dataspace of the given size and there might be no contiguous free area left. Since it is currently not really necessary that the dataspace is contiguous in physical memory, using a managed dataspace built from smaller memory chunks could help in this case.