With the increasing memory size and MIPS some of these 8051 cores have today, a small RTOS might be suitable in some applications. Does anyone have feedback on a commercial RTOS for the 8051 they've used? Or know where I can get more objective information? Thanks.