How can I use Salvo RTOS with 89C51 (8051 Family) instead of RTX-Tiny using KEIL .Unlike RTX-Tiny Salvo OS is free with some limitaions.In KEIL I'm getting RTX-tiny & RTX-Full only as a option for Operation Systems. Can anybody help me please.....