VirtIO Drivers & In-Kernel Zero-Copy TCP/IP

Hardware Abstraction via VirtIO

Modern cloud virtualization (QEMU/KVM, AWS Nitro, Firecracker) provides virtual hardware devices conforming to the VirtIO specification. In Freedom OS, the network interface is driven by a custom virtio-net driver implemented in Rust.

Virtqueue Descriptor Chain Architecture

Packets are transferred without memory copies using Virtqueues: circular arrays of 16-byte memory descriptors shared between the guest kernel and the host hypervisor:

#[repr(C)]
pub struct VirtqDesc {
    pub addr: u64,   // Physical memory address of the packet buffer
    pub len: u32,    // Length of the buffer
    pub flags: u16,  // VIRTQ_DESC_F_NEXT | VIRTQ_DESC_F_WRITE
    pub next: u16,   // Index of next descriptor in chain
}

pub struct VirtioNetDevice {
    io_base: u16,
    rx_queue: Virtqueue,
    tx_queue: Virtqueue,
}

impl VirtioNetDevice {
    pub fn send_raw_frame(&mut self, frame: &[u8]) {
        // Enqueue physical buffer descriptor directly to hypervisor
        let desc_idx = self.tx_queue.allocate_descriptor();
        self.tx_queue.set_desc(desc_idx, frame.as_ptr() as u64, frame.len() as u32, 0);
        self.notify_queue(1); // Notify TX queue via PCI port write
    }
}