On Mon, Jul 4, 2016 at 10:36 AM, Adrian Danis <adrian.danis@nicta.com.au> 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