SKEE: A lightweight Secure Kernel-level Execution Environment for ARM
SecVisor: a tiny hypervisor to provide lifetime kernel code integrity for commodity OSes