Open source RTOS and OS: see this article.
to be continued...
If you can read English, check the English part of the site.