Tracking eCos CVS mainline (checked-out 13.08.2014)