Is there a way of utilizing Texas Instruments’ TivaWare Libraries/API within PlatformIO?
While PlatformIO does not have built-in support for that SDK, you can still create a bare-metal project (no
framework = ... line in
platformio.ini, AVR example), copy all needed SDK files and adapt the build_flags, linker script etc to the same values the
Makefile(s) in the SDK would. See e.g. GitHub - maxgerhardt/pio-tiva-sdk.
Otherwise, open a feature request issue at Issues · platformio/platform-titiva · GitHub.
You can also see that there is a
native-blink example which utilizes TI’s driverlib from that SDK, but that’s through just including the Arduino core for that board, which also has this library.