FYI The OKL4 2.1.1-patch9 microkernel (http://www.ok-labs.com/products/okl4) runs on a single CPU UltraSPARC, namely T1 (Niagara). The port requires little effort to make it runnig on other SPARC v9 platforms. The work on SMP/CMT extension is in progress. Tomas Hruby University of Otago, New Zealand NICTA, Australia