#include #include #include "tm4c123gh6pm.h" /** * main.c */ void main(void) { /*do something*/ while(1); }