K42
High performance, general-purpose research OS kernel for cache-coherent multiprocessors, for next generation servers ranging from small-scale (to grow ubiquitous), to very large-scale non-symmetric (growing important in commercial and technical environments. IBM Research. Open source.

No queries for domino.research.ibm.com/comm/research_projects.nsf/pages/k42.index.html