Using TI's TivaWare in platform IO

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.