3 ms·It should! Kani’s used by AWS’ Firecracker hypervisor.by PartiallyTyped 2y agoIt should! Kani’s used by AWS’ Firecracker hypervisor.