@nina_kali_nina @brouhaha @AnachronistJohn @tomjennings As one of the unfortunate few who still have an Intel Galileo (aka the world's most crap Arduino), I can confirm that it runs Linux.

Sketches (= programs, in Arduino-speak) are compiled using an x86 toolchain, then uploaded as a binary to the board (Kermit may be involved). The Galileo reboots, and calls the binary from an init script. Sketches run very slowly and the SoC runs burning hot