Design and implementation of multicore support for a highly reliable self-repairing μ-kernel OS
an empirical study of operating system errors .