So…
I did some more digging and found this: <LINK_TEXT text=“https://www.raspberrypi.org/forums/view … hp?t=27761”>https://www.raspberrypi.org/forums/viewtopic.php?t=27761</LINK_TEXT>
Quote: " …to be more precise the the Raspberry Pi has an ARMv6 CPU, these CPU’s are a different architecture to the x86 and x86-64 to which you are referring."
and quote: " What software do you want to install? If it’s not in the Raspbian software repository you may need to download the source and build it yourself."
I conclude that this: http://dl.sipeed.com/MAIX/MaixPy/ide/v0.1.0/
Linux x86_46 version wil not work on Rpi3
If I need to compile it from source on Raspberry pi, how do I do this?