Keil has a Tiny RTOS that is about 800 byes and supports very basic RTOS concepts. However, it doesn't support semaphores or priorities

Have you tried it's full developer kit?
It's also support semaphore and proirity scheduling.

regards.