virtio device (guest-facing)
SkillSecurityThe VMM emulates virtio-mmio (or virtio-pci) for guests using libvmm virtiommioinit. That is a different virtio world from QEMU's host virtio-mmio, which is a physical device for a driver PD.
Available today. Use it from your connected AI after setup.
No other account needed.
Add ahel to your AI once: Claude, ChatGPT, Cursor, Claude Code or Codex. Then ask it to use this.
Then ask your AI: use the virtio device (guest-facing) skill
About this skill
An operating system designed from the core up for agents and agentic security requirements. Built on seL4 microkernel with capability-based security and agent-native vibe-coding.
What this skill tells your AI
The instructions your AI receives, as published by jordanhubbard/agentos in skills/virtio-device/SKILL.md and read by ahel’s review.
The VMM emulates virtio-mmio (or virtio-pci) for guests using libvmm
virtio_mmio_*_init. That is a different virtio world from QEMU's host
virtio-mmio, which is a physical device for a driver PD.
Invariants
- Guest IPA for emulated net is
AOS_VIRTIO_NET_GUEST_IPA(0x0A010000). - That IPA must fault into the VMM. It must not be identity-mapped host MMIO.
- Backend is sDDF queues (
aos_net_virt_pumpuntil a nic_drv exists). - QEMU buses at
0x0A000000are a kill-dated crutch.
Forbidden
virq_registerof a host INTID as the I/O path for a class that has an emulated virtio device.- Guest DTB pointing only at QEMU virtio-mmio for that class.
Helper
Run make test-host; the platform guest-path tests validate the effective
device-tree inputs and reject host-device passthrough.
Signals
- GitHub stars
- 43
- Forks
- 7
- Last commit
- Sep 2026
Advanced
- Item type
- skill
- Key
virtio-device- Source
- github.com/jordanhubbard/agentos