Hi everybody,
Congratulations afl1 for your work!
I've bought recently a K1 Plus box and I'm using your LibreELEC-Amlogic.aarch64-KI_Plus-7.0.2.004.4.img version with DVB-S2 internal tuner + tvheadend 4.2.
All is working fine, I'm using Aeon theme and add some other "usual" addons (I'm a veteran xbmc user :-)) . I'm encountering only two issues.
The remote is not fully working, numbers are not working as expected specially when you are in TV mode (usually kodi switch to the associated channel number). Perhaps I've missed some configuration setting ? Don't know.
The second issue is not related to your build, I think this is a box hardware (and TV related) issue. I'm losing sometimes HDMI signal switching from one mode to another (when kodi switch to full 1080 ?). Unplugging and plugging again hdmi solve the problem but this is annoying.
I've also tried your krypton build, but this is not a stable install for me as a lot of kodi add-ons are not yet fully working in this kodi version.
If I find some time I will perhaps try my own builds (I'm a professional developer) but I need to understand all this "stuff" (kernel, librelec, K1 drivers ...)