A virus for a phone?
Never heard of that.
Anyway not a big probolem.Just format the main memory and let windows reinstal it self.Its a biger problem if you get that on your SD card since there i store all my games,mp3s,video...
Shure it was a virus?It may also be hardware damege.
Just remove the SD card,reflash it,format the main memory and let windows reinstal.After that the virus shod certanly be deleted.If there is still the same probolem then it mostprobobly is hardware damage.