This driver was ported. It works well and also it can cast (not that that's needed now that Chromecast integration is available), but it's an easy interface once you get it setup. There's a trick to getting cast to work though.
You can use any computer. You just need to run VLC Player on it.
And of course, there's always, MY way...Muahahahah 
