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