There is currently no LibreELEC support for S912 devices. There is a long
thread on LibreELEC forum discussing the topic.
I have one of the k11 pro's. Will provide some info:
Unit does have 2gb ram 16gb emmc.
It decodes all the 4k channels currently 8 on 103w and the nasa on 127w.
The unit will not scan in the HI, decades, or movies on 101w it will usually find one only. You can manually add the second if you space them out more than 4kz, ie it will not accept 4kz spacing even manually entered. And the signal quality is fairly low in the 40-70% range and hiccups once in a while much like the alien 3 combo; this is compared to the azbox elite with maxed out quality and no drops. The tuner leaves much to be desired. The color is also much like the alien 3 combo with red push, don't know if its the hisilicon or software. This not to say the picture is bad the 4k is breathtaking at times. You cannot manually tune, (ie i use the 4dtv for lnb power so set the vertical and horizontal individually so the tuner needs to scan the sat via V and H seperately this one doesn"t have that feature). It does a blind scan starting with the vertical polarity and at 50% scan completion it switches to horizontal so if your fast with the 4dtv polarity change you won't miss much.
The unit comes with kodi jarvis 16.1 and it works well and a few other apps and you can download more. Why they don't upgrade these to linux and get rid of all the google stuff i don't know, it would clean them up tremendously goes for phones also.
The unit is like the alien 3 not used for satellite i have much better receivers for that albeit not 4k. They are both good at internet which is what i use the high dollar alien 3 combo for, the K11 pro is a backup for that or if wanting to watch 4k channels.
By the way the alien 3 combo had a update about two months ago its upto 137 now and it did speed the unit up and allowed to move apps to the sdmirco (tf, sf etc) card. Its a little annoying as it leaves message saying this everytime you turn it on but the messages can be deleted.
I didn't open the unit up to see what tuner it has or if it can be replaced.
Hope this helps