To compile for this core with the Arduino IDE, add the following URL to the boards manager.
https://github.com/WeActStudio/ArduinoCore-AT32F4/releases/download/0.0.1/package_at32_index.json