I have a samsung tv which doesn't seem to properly allow stremio. Is there a possibility to run it over some sort of micro computer, preferably a raspberry pi? What are the requisitions? And in addition, could you recommend me an OS that maximizes user experience for streamio?