Introducing the Future of Mach: Yamit
Yamit is a microkernel, developed under a BSD compatible license. Mentioned capabilities are a thread-aware kernel and multiprocessor support (including both tight SMP and loose - NUMA architectures). The project is largely based on the Mach microkernel that was being designed for many years by CMU and OSF.