This Arduino core, labeled as "Version 0.0.1", was provided by GigaDevice in early June 2021. It is currently a work in progress, but believed to be functional on GigaDevice's mBed boards.
A sample core initially provided by GigaDevice