Multiple guest operating systems under Exo-kernel | IEEE Conference Publication | IEEE Xplore