* Francesco Pietra: > What about k8-smp? Do we still need non-SMP kernels in the age of hyperthreading, multi-core CPUs, and preemption?