picoSYNTH is made with pico8 which (afaik) only supports intel. Haven't tested anything else myself.