@kelbot There is no CircuitPython port for the ESP32 as of yet (but it is planned eventually), but there are at least two popular ports of MicroPython for it -- the official one, and Loboris fork. The latter is especially interesting, because it has support for the 4MB SPI RAM chip that is present on those board, giving you the resources much needed for graphics.
@uranther ODROID exists with that name for quite a long time already (in fact, this device celebrates their 10th anniversary), and so far didn't get any cease and desists, as far as I know. They sell single board computers and Android devices. It might be related to the fact that they are in Korea, which has different laws, but also to the fact that "Android" and "ODROID" are really completely different names.