Re: Difference between capability and memory mapping
Adam Lackorzynski <[email protected]>
| Newsgroups | gmane.comp.micro-kernel.l4.devel |
|---|---|
| Message-ID | <[email protected]> |
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 [email protected] Lackorzynski http://os.inf.tu-dresden.de/~adam/