%0 Thesis %T A lightweight virtualization layer with hardware-assistance for embedded systems %U http://tede2.pucrs.br/tede2/handle/tede/7032 %I Pontif?cia Universidade Cat?lica do Rio Grande do Sul