Probably just a matter of finding out whether or not anything like Armbian or similar supports that particular SOC board, or better yet, finding out which SOC board is inside that Android TV Box specifically. Other than that, its just about finding an ARM based distro that will support that device. My experience with a Recon Sentinel Rock64 RK2238 is that you'll be able to find a few different distros that may have varying levels of support, but you might also be stuck with an old Linux Kernel from the chip manufacturer in China because it may have proprietary firmware to run the SOC properly. Also, I seem to remember reading that setting up on an SD card, then flashing that set up to an eMMC can be hit or miss, and also pretty drawn out so make sure to review all instructions and user comments on their experiences as well.
Are you going to try to run this as a CLI headless box, or a desktop environment? A few suggestions to things to look into include Armbian and DietPi. Maybe even Ubuntu aarch64, but to be honest, I kind of got tired of messing with these SOC boards, not enough horsepower for me. Outside of the RPi 3b+, haven't given SDR appliations an honest try on them either. Your mileage will probably vary extremely.
Optimised | Simplified | For everyone - Backed by community, DietPi is a minimal OS image for SBCs - Raspberry Pi, Odroid, PINE64 etc. Install software optimised for you!
dietpi.com
Armbian running on my "Icon Sentinel" RK2238 Rock64. Sellers were hawking these off on Amazon for $14 back last year or so, I somehow ended up buying two of them. The other one had retropie on it. Overall performance was 'meh', hit or miss depending on what it was doing.
