2 ms·

Recommendations for a tutorial on how to write a formally verified kernel module in C? Rust? Are VFIO or eBPF sufficient; Does this code need to run in the ker

Recommendations for a tutorial on how to write a formally verified kernel module in C? Rust? Are VFIO or eBPF sufficient; Does this code need to run in the kernel?