2 Aug
2016
2 Aug
'16
11:52 p.m.
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