How do I install ArduPy on Rpi4?

I’m using a Raspberry Pi model 4 running kernel8.img that I use for “maker” development.

I’d like to use the RPi4 together with WIO Terminal.
Develop on Pi, execute on WIO Terminal.

How can I (successfully) install ArduPy on the Rpi4?

I used ''pip3 install ardupy-aip" and something was installed.

But, when I use aip build, the build fails with a compile error:

sh: 1: /home/pi/.config/aip/ardupycore/Seeeduino/tools/arm-none-eabi-gcc/bin/arm-none-eabi-gcc: Exec format error
sh: 1: /home/pi/.config/aip/ardupycore/Seeeduino/tools/arm-none-eabi-gcc/bin/arm-none-eabi-objcopy: Exec format error
sh: 1: /home/pi/.config/aip/ardupycore/Seeeduino/tools/arm-none-eabi-gcc/bin/arm-none-eabi-size: Exec format error
compile error
ERROR: Exception:
Traceback (most recent call last):
File “/home/pi/.local/lib/python3.7/site-packages/pip/_internal/cli/base_command.py”, line 188, in _main
status = self.run(options, args)
File “/home/pi/.local/lib/python3.7/site-packages/aip/build.py”, line 413, in run
raise Exception(print(‘compile error’))
Exception: None

Any idea how I can use RPi4 as a development platform for WIO Terminal?

@hongtai.liu Please make aip support RPI platform.