Keil Software is really in the compiler and development tool business. Its Professional Developer's Kit includes a compact RTOS kernel. The RTX51 Tiny is part of the PK51 kit for 8051 chip ...