Patrick Roy

Since 1.4, firecracker has support for CPUID customization. See https://github.com/firecracker-microvm/firecracker/blob/main/docs/cpu_templates/cpu-templates.md#custom-cpu-templates for documentation.

Marking this as 'not planned' for now, as we do not really see how this could be done easily, and the benefits of this as a stand-alone change are low....

Hi @thunderZH963, We do not maintain comparisons with QEMU/other virtualization technologies, so we do not know why you observe these performance differences. Firecracker is more lightweight than QEMU, so I...

I'm marking this as parked, as generally, being able to detect memory leaks and undefined behavior in our integration tests would be nice to have, albeit significantly less relevant due...

We have finished our overhaul of how to build rootfs and related artifacts in https://github.com/firecracker-microvm/firecracker/pull/3896. Please try the new script in https://github.com/firecracker-microvm/firecracker/blob/main/resources/rebuild.sh#L48, and reopen the issue if you still encounter...

We have switching from kcov to using grcov, and decided that instead of having our CI generate html artifacts and store them, we use codecov.io for coverage visualization: https://app.codecov.io/gh/firecracker-microvm/firecracker

There is some ongoing work to redesign our metrics subsystem to allow for per-device metrics by @sudanl0 at the moment, which will also tackle this issue.

Hey all, I think we managed to run into this one with firecracker/rust-vmm proofs in https://github.com/firecracker-microvm/firecracker/blob/main/src/vmm/src/devices/virtio/queue.rs. For example ```rs #[kani::proof] #[kani::unwind(2)] fn verify_write_slice() { const MEMORY_SIZE: usize = 1024; use...

With the unmodified harness it takes around 71s. I've attached the logs from both a slow and a fast verification below: [verification-fast.txt](https://github.com/model-checking/kani/files/13175028/verification-fast.txt) [verification-slow.txt](https://github.com/model-checking/kani/files/13175029/verification-slow.txt) This was on a m6i.metal instance with...

One C-FFI issue we run into in firecracker is with `libc::clock_gettime` - we work around it by stubbing at a higher level, but it requires some ugly workarounds including `std::mem::transmute`:...