I'd like to allocate some physical memory for a device's DMA. Do I need to use some special flags in  l4_task_map?

Thanks.