http://www.colecovision.eu/stm8/rtoses.shtml
Любопытно выглядят три RTOS, разработанные соотечественниками:
BuguRTOS - есть весьма подробная дока.
IntrOS
StateOS