Keil RTX51 Tiny RTOS
Keil RTX51 Tiny is a small real-time kernel (around 800 bytes) that supports 8051-based applications with reduced real-time requirements. RTX51 Tiny is perfect if you only need task switching or limited inter-task communications. It is included with the Keil PK51 Professional Developer's Kit.