Are you looking for a real-time os for mcu? The links button on the left will led you to several popular ones for the 8051s. However, if by DOS you mean disk operating system, then why not stick with the x86s, what's the advantage of using even a fast 8051?