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 at os.inf.tu-dresden.de
Lackorzynski http://os.inf.tu-dresden.de/~adam/