On Tue, Aug 2, 2016 at 2:36 PM, <[email protected]> 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
_______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
