Andrew Walbran 8de7df2017 Recognise VirtIO devices. vor 2 Jahren
..
hal 4ee80e50ba Add tests for VirtQueue (#12) vor 2 Jahren
transport 8de7df2017 Recognise VirtIO devices. vor 2 Jahren
blk.rs e28a1e05c8 Fix soundness issues with MMIO and shared memory (#18) vor 2 Jahren
console.rs e28a1e05c8 Fix soundness issues with MMIO and shared memory (#18) vor 2 Jahren
gpu.rs e28a1e05c8 Fix soundness issues with MMIO and shared memory (#18) vor 2 Jahren
hal.rs 2905932e70 Allow transport to use 64-bit addresses for queue rather than PFN. vor 2 Jahren
input.rs e28a1e05c8 Fix soundness issues with MMIO and shared memory (#18) vor 2 Jahren
lib.rs 4d8707ae12 Add module for PCI transport, with function to match device IDs. vor 2 Jahren
net.rs e28a1e05c8 Fix soundness issues with MMIO and shared memory (#18) vor 2 Jahren
queue.rs e28a1e05c8 Fix soundness issues with MMIO and shared memory (#18) vor 2 Jahren
volatile.rs e28a1e05c8 Fix soundness issues with MMIO and shared memory (#18) vor 2 Jahren