Navspark import from arduino-ide

I have the navspark mini and would like to use it with platformio. Navspark has it’s own custom settings for the arduino ide, but not for platformio and I cannot figure out how to make this list: compatible with platformio. Any suggestions?

Please file a feature request here Issues · platformio/platformio-core · GitHub