Nofan Tasi:
1. When you build LibreELEC, everything is included, kernel as well.
2. Use PROJECT=S905 ARCH=aarch64 make amlpkg to build SD card and NAND image that you can flash according to instructions in the first post. No option is needed to build specifically for NAND or SD card, resulting files are universal.
Thanks, overnight build succeeded using following recipe:
Code
git clone https://github.com/kszaq/LibreELEC.tv.git
cd LibreELEC.tv
git checkout -b 7.0.2.002 7.0.2.002 # create branch for this tag 7.0.2.002
PROJECT=S905 ARCH=aarch64 make -j13 amlpkg
(optional: (for my DVB-T stick))
PROJECT=S905 ARCH=aarch64 ./scripts/create_addon pvr.hts
PROJECT=S905 ARCH=aarch64 ./scripts/create_addon tvheadend
I'll test results soon (perhaps later this evening).

thx
that revision should fix the 4K hevc main10 50p bug. By the way I've also see a mxiii with revision B so different stocks. Just curious if you are able to play the canal+ video.
I think I'll roll out a build with a test fix for 4K output first.
