FYI The current version of the previously announced OKL4 micro-kernel port to UltraSPARC T1 includes SMP support and is able to pass all tests of the L4test suite. Tomas Hruby University of Otago, New Zealand NICTA, Australia