Design and implementation of multicore support for a highly reliable self-repairing μ-kernel OS
MINIX 3: a highly reliable, self-repairing operating system