Difference between capability and memory mapping
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
More information about the l4-hackers