HAL for TI TM4C123GXL