Real Time OS on mini6410

Can any bofy help me with porting any RTOS on mini6410,
any idea.

wince6 is a RTOS