Difference between capability and memory mapping

Adam Lackorzynski adam at os.inf.tu-dresden.de
Wed Oct 1 23:17:13 CEST 2014

On Wed Oct 01, 2014 at 11:02:20 -0400, Yuxin Ren wrote:
> On my machine, cap mapping is faster than memory.
> I do not think there is tlb flush in memory mapping. It only happens when
> memory is unmapped, right?
> But I found the mapping database for them are very different.
> Cap mapping database is simpler than the memory's.

Ah, yes, that makes sense.

Adam                 adam at os.inf.tu-dresden.de
  Lackorzynski         http://os.inf.tu-dresden.de/~adam/

More information about the l4-hackers mailing list