I seem to recall XBMC having some karaoke support. That's the extent of my knowledge on the subject, but I hope this will help: http://wiki.xbmc.org/?title=HOW-TO_setup_XBMC_for_Karaoke