Finaly made work HD Star v3 in last osmc build (OSMC June 2019 2019.06-1)
Run sudo rm -rf /lib/modules/$(uname -r)/kernel/drivers/media/*
Install this https://www.sendspace.com/file/nj2lk6 (From [HOW TO] Geniatech HDStar V3 Dvb-S2 install)
sudo depmod
sudo modprobe ds3k
and this
Credits of compiled driver and delay for tvheadend to @nvidias, driver to crazycat and helping me to understand how it works to LibreELEC comunity.
I also tried to make it work in Ubuntu Server 18.04.2, but because of some weird bug, when you attach some powered usb device it gets crazy with the CPU freq, and if you try it manually the system gets slow and unstable, don’t know if the same would happen with Debian or other distros.