linux-guest

SkillSecurity

Linux is a virtio client. The payload is a kernel + initrd + FDT.

Use linux-guest in Claude, ChatGPT or Ahel Desktop

Free. Sign in, add linux-guest and connect your AI. About a minute.

Also: Claude Code · Cursor · Codex

Then ask your AI: use the linux-guest skill

Details

Instructions available. Your AI can read the instructions. Execution depends on the setup they require.

Add ahel to your AI once: Claude, ChatGPT, Cursor, Claude Code or Codex. Then ask it to use this.

linux-guestStart free
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_shmem kernel 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
46
Forks
8
Last commit
Oct 2026
Advanced
Item type
skill
Key
linux-guest
Source
github.com/jordanhubbard/agentos