KairosVM: Deterministic introspection for real-time virtual machine hierarchical scheduling
Nitro: hardware-based system call tracing for virtual machines