2 Background and Overview of Our Work 2 . 1 Preemptive OS Kernels and Interrupts