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. -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://os.inf.tu-dresden.de/pipermail/l4-hackers/attachments/20120816/13a47b85/attachment.html>