Hi, On Thu Aug 16, 2012 at 17:36:07 -0700, Chen Tian wrote:

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?

Having that memory non-cached is probably good to have, so adding L4_FPAGE_UNCACHEABLE << 4 as flags would do that. Adam -- Adam adam@os.inf.tu-dresden.de Lackorzynski http://os.inf.tu-dresden.de/~adam/