linux-guest
SkillSecurityLinux is a virtio client. The payload is a kernel + initrd + FDT.
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 linux-guest 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/linux-guest/SKILL.md and read by ahel’s review.
Linux is a virtio client. The payload is a kernel + initrd + FDT.
Invariants
- In-tree virtio-mmio drivers only.
- FDT must describe emulated virtio devices (agentOS IPA), not only QEMU.
- No
gpu_shmemkernel module as the first GPU story. - Guest flavor is data for the VMM, not a fork of VMM C.
Helper
Use the virtio-device skill and make test-host for the device-list checks.
make fetch-guest GUEST_OS=ubuntu stages images via the Makefile.
Signals
- GitHub stars
- 43
- Forks
- 7
- Last commit
- Sep 2026
Advanced
- Item type
- skill
- Key
linux-guest- Source
- github.com/jordanhubbard/agentos