Check
viewtopic.php?f=164&t=10154
for the lastest.
It wasn't easy to have it compiling, but I left myself some clues hidden in the old tree.. in the format of something I did not cleaned up after compiling the previous version
ivx675 wrote:Windows Kodi 17, android kodi 17 and VLC, all open over 700mhz channels very long time.
So it cant be player problem, i suspect DVB drivers but it also can be TvHeadend related, never know ...