eCos port for Stellaris EK-LM4F120XL