Libreelec is a small Linux system designed for running Kodi. It runs well on many amlogic s905/s912 machines that are sold with Android. Libreelec replaces Android, although it may be possible to dual boot. See libreelec.tv
If I have helped you or increased your knowledge, click the 'thumbs up' button to give thanks :) (People with less than 20 posts won't see the "thumbs up" button.)