AUTOSAR, OSEK, and SDVOS
The SDVOS kernel source code is pretty well documented. I wrote most of the comments in the source with the Doxygen format. You can generate the HTML or PDF documentation from the source code using Doxygen. I will add the Doxygen Makefile to the public repository in the near future.