ARM cortex M4

Which Linux version used for ARM cortex M4 ?? and how to install this linux version on TDA3x from Texas instruments ??