On Mon, Jul 4, 2016 at 10:36 AM, Adrian Danis <[email protected]> wrote:
> Our current architectures (arm and x86) have hardware loaded TLBs and so > this is a non issue for them. I am not sure how software loaded TLBs would > best be supported on seL4. Unfortunately the best person to answer this, Dr > Kevin Elphinstone, is away at the moment. > Hi all, Was there an answer for this? How is your MIPS port going, Vasily? Thanks, Jeff
_______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
