Google MicroDroid - okrojona wersja Androida pod maszyny wirtualne