I’ve read the announcement of the Sipeed Maix Amigo and went to Get Started with K210: Hardware and Programming Environment.
[Seeed] released new software: ArduinoCore-k210 help uses run Arduino libraries on K210 based boards.
However, the repository of ArduinoCore-k210 reads
This repository has been archived by the owner. It is now read-only.
Is the Arduino support for the Sipeed Maix Amigo deprecated?