Re: Selecting memory manager for embedded DRM device