The preliminary Board Manager files are up on hackaday.io (under this project of course)

• The packages file is at: https://cdn.hackaday.io/files/21284910614656/package_arduino-tiva_board_1.6.10_index.json

This is a derivative of the Energia's official package index, found here: https://github.com/robertinant/energia-package-index. All I did was strip it down to lm4c123 support and edit where appropriate. I have successfully installed it via the Board Manager, compiled a test program, uploaded and ran it on my EK-TM4C123GXL board.

Next step is to remap the pins in pins_energia.h to match my layout. Then I'll take a look at the library source code to try and expand capability to utilize all peripherals.