Andrew Walbran e28a1e05c8 Fix soundness issues with MMIO and shared memory (#18) hace 2 años
..
hal 4ee80e50ba Add tests for VirtQueue (#12) hace 2 años
transport e28a1e05c8 Fix soundness issues with MMIO and shared memory (#18) hace 2 años
blk.rs e28a1e05c8 Fix soundness issues with MMIO and shared memory (#18) hace 2 años
console.rs e28a1e05c8 Fix soundness issues with MMIO and shared memory (#18) hace 2 años
gpu.rs e28a1e05c8 Fix soundness issues with MMIO and shared memory (#18) hace 2 años
hal.rs 2905932e70 Allow transport to use 64-bit addresses for queue rather than PFN. hace 2 años
input.rs e28a1e05c8 Fix soundness issues with MMIO and shared memory (#18) hace 2 años
lib.rs e28a1e05c8 Fix soundness issues with MMIO and shared memory (#18) hace 2 años
net.rs e28a1e05c8 Fix soundness issues with MMIO and shared memory (#18) hace 2 años
queue.rs e28a1e05c8 Fix soundness issues with MMIO and shared memory (#18) hace 2 años
volatile.rs e28a1e05c8 Fix soundness issues with MMIO and shared memory (#18) hace 2 años