GTBE driver library for TI Tiva C MCUs