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.
Use virtio device (guest-facing) in Claude, ChatGPT or Ahel Desktop
Free. Sign in, add virtio device (guest-facing) and connect your AI. About a minute.
Also: Claude Code · Cursor · Codex
Then ask your AI: use the virtio device (guest-facing) skill
Details
Instructions available. Your AI can read the instructions. Execution depends on the setup they require.
Account requirements not reviewed. Check the skill instructions before use; ahel provides instructions and does not run this skill.
No other account needed.
Add ahel to your AI once: Claude, ChatGPT, Cursor, Claude Code or Codex. Then ask it to use this.
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
- 46
- Forks
- 8
- Last commit
- Oct 2026
Advanced
- Item type
- skill
- Key
virtio-device- Source
- github.com/jordanhubbard/agentos
github.com/jordanhubbard/agentos