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