I got a free Linux mini-PC (appears to be a rebranded MK902II LE, running Xubuntu), minus most of the accessories. I'd like to set it up basically as a media streaming/emulation device, to be controlled either by a PS3 controller or an old DirecTV remote. Is there any good ROM library/launch tool for either Linux or Android? I messed around with some Kodi plugins for the two weeks or so that my GameStick worked, but I didn't find anything I was really thrilled with, although if I don't want to have a mouse/keyboard plugged in I'd have to find an easy way to navigate out of and back into Kodi for streaming. Any ideas?