Arduino Development on aarch64?

[Brian McGovern (bmcgover)]

This is likely a silly question, but is there a solution for doing Arduino development on any of the ARM 64 platforms? From what I can see in the current ports tree, it looks like gcc for arduino is marked broken for aarch64, as is the Arduino 1.8 IDE.  I'm just trying to figure out if I can do some Arduino programming (CLI/text mode is fine, IDE is a bit better) from my PIs, or whether I should plan on an AMD64 platform for this.

   -Brian