I would prefer to go with Xcruiser XDSR600HD as it is cheaper then many others with all the features you can imagine to have in Linux based receiver.
They do have other models which are loaded with more features. Exlore website to choose right box for you