any other open Source OS other than OS

Hi,

Is there any open source OS Other than uCos which
is portable on mini2440. 


Please suggest.

Regards,
Y.Stalin