Hardware-assisted virtualization targeting MIPS-based SoCs | IEEE Conference Publication | IEEE Xplore