Operating System hardening : Dealing with external interrupts
Channel: FOSDEM
Date: 2019-02-08

by Tokponnon Parfait

At: FOSDEM 2019
https://video.fosdem.org/2019/AW1.121/os_external_interrupts.webm


We are modifying the Nova hypervisor to protect the operating system it hosts, against frequent transient faults resulting from cosmic radiations or manufacturing defects in the CPU.
The method relies on the CPU internal exceptions management mechanisms, redundancy of execution and the machine check architecture.
Here we will present how to deal with external interrupts, that is one of the challenges faced when it comes to execute short sequences of operating system's instructions twice. 

Room: AW1.121
Scheduled start: 2019-02-03 16:05:00+01