Kinda confused by this thread. It has s802 in the title but, as I'm understanding this Demetris is no longer building for Amlogic s802. Do I understand about that correctly? Still, it seems some of his older builds for s802 might be available at the links given in the OP. If that's the case, how do I tell which build is for Amlogic s802? Also, have I understood correctly that these builds are for writing to SD card so that the OS boots from it rather than from the box's internal ROM? Clarifications will be appreciated.
PS Currently nursin along my older box with MyGica, which works acceptably for now. Would like to try out LibreELEC though.