eCos on AT91SAM9X25