Tvheadend is a TV streaming server and recorder for Linux. It also offers a great possibility to combine a SAT-recorder with KODI mediacenter on a Raspberry Pi (I would recommend a raspberry Pi 3 due to RAM requirements).
Installing Tvheadend by compiling from source was not so easy, so it is definately easier to install via precompiled packages. In order to do so, the following steps are required: