BSS is a prototype microkernel designed for quick and fine-grained decomposition. Our paper submitted to the PLOS 09 workshop gives a high-level overview of the ideas and concepts behind it. A diploma thesis at the University of Karlsruhe contains a more detailed description.
We currently do not provide any binaries, but downloading and building the sources from SVN is easy:
svn checkout https://oosys.svn.sourceforge.net/svnroot/oosys/trunk bss
Please check the readme file for building and testing instructions.
A "Hello World" program demonstrating some BSS functionality,
running on Linux:
A 3D engine decomposed into multiple servers, running on Linux:
(These also work on raw hardware.)