sed -i 's/stm32f4/tm4c123/g' {} \;
cleanup
add driverlib
move more stuff around
use ugly interface in a consistent way