Best Solution to run a TvHeadend on Rock64?

[Tetterl]

Hello community

I want use my Rock64 as TvHeadend.

What is the best image to do this?
I dont have experience with this.

I tried Libreelec, I seen to run unstable and slow, compared to my Odroid C2.
Android Images, I found only Android TV Images on download site, running Kodi even more slow.

So I stopped using the Rock64 for Kodi.

But I wrote that TvHeadend works well on Rock64.
I want to use it for IPTV and possible DVB S.

What is the most stable and fast Image to install/use TvHeadend?

Debian Stretch, Ubuntu or Libreelec?

I want to use it with Timeshift and recording on USB 3.0 HDD.
By the way, does the hardware allow transcoding?

I own a 64GB eMMC on a Rock64 v2.0

Thanks a lot for your help!!!

Tetterl