[INDEX] LibreELEC community builds for Amlogic
If it shipped with XBMC Gotham and has a Mali-400 GPU it is probably an "MX" or "MX2" box with an Amlogic 8726MX SoC. This is the least-loved of the Amlogic chipsets for community development as newer (and much better performing) S905 based devices can be found online for $25, so most people can't be arsed to do much with them, but there are a couple of community images that you can try.