Try a search on RTOS in 8052.com. There were some questions about RTOS recently in the forum. In particular, I remember one about an RTOS called Salvo.

Regards.

Alfredo del Rio.