Real-Time OS/Kernels
ARM OS/Kernels
C166 OS/Kernels
C51 OS/Kernels
InfaBed
InfraBed is a portable RTOS that has been ported to the ARM7 architecture using the Keil tools.