Comment by Animats

The next step up was the Arduino Due, which is a low-end ARM system supported by the Arduino toolchain. But it seems to have been retired. (Now I find this out. I built something on a Due because I needed more memory and CPU speed.)