I did some searching didn't see any "hal32 virus"...
+1. Either this is some new and awful thread we're all about to be faced with, or you're mistaken - if you've never heard of it and no virus scans are picking it up, then how on earth have you come up with its name?!
Though to be honest, when faced with a serious virus / worm these days, I just wipe, reinstall, copy all my important files over and be done with it. Yes I could spend a week trying to get rid of the thing, or I could spend an afternoon doing something I know will fix the problem, and get me a squeaky clean installation to boot