Allocation interface for seL4 -- all allocators should implement this interface.