Adding virtualization support in MIPS 4Kc-based MPSoCs | IEEE Conference Publication | IEEE Xplore