Today we will present the work that Daniel and myself are doing in Red Hat to qualify Kernel Critical subsystems and also claim FFI wrt the rest of the Kernel Code.
The presentation will be based on the watchdog subsystem, that will serve as sample subsystem; the idea is to extend the concept to other critical subsystems (for example following the current investigation of safety app address space integrity)