A Real Time OS is simply an operating system that guarantees the completion of an operation in a certain time (certain number of clock cycles). whereas an ordinary operating system does not give any such guarantee..
Such a real-time OS may be implemented/obtained(ready-made) for any microprocessor/microcontroller system. The examples given above are some very good implementations for the 8051.