On Tue, Aug 2, 2016 at 2:36 PM, <Gernot.Heiser@data61.csiro.au> wrote:
I suspect you’re asking because you found that these operations are slow  – I’d be surprised if they weren’t ;-)

No-one bothered to put any effort in optimising the mapping implementation for lack of a driver of high enough significance. We’ll prioritise that once it becomes a problem.

How comparable is today's seL4 mapping code to seL4::Pistachio as analysed by Dhammika Elkaduwe [1]? It's a fun read anyway. :-)

Thanks,
Jeff

[1] https://ts.data61.csiro.au/publications/papers/Elkaduwe:phd.pdf