I came across the chorus as embedded system and found the the early version has become open source. I decide to build a slink database for its source code. (SLink lets you hyper-link every variables, functions, macros in for the chorus' 8000+ source files, cross reference and documents the code from any web browser. )
I found that the all the core kernel primitives of the chorus is written in C++ including paging, IPC, Thread, etc. Very interesting.
Too bad, Chorus looks like a dying product/technology when I check the activities in the newsgroup/source forge and Chorus' website. :-(
The technology/source code is still very interesting to poke around.....
It is kinda sad....
Personally, I like chorus code a lot better than the more popular BSD/Linux kernel code.
-------------------------------------------------------------------------- Here's the code for NetBSD's scheduler: