Thanks for the sensible suggestions so far. I will investigate. The main device I want it on is a Raspberry Pi running OpenElec, which is a media centre dedicated Linux. I have Kodi on Windows as well so I can test either.