seL4 platform
SkillSecurityYou are composing agentOS on-target topology, not a Linux distro.
Use seL4 platform in Claude, ChatGPT or Ahel Desktop
Free. Sign in, add seL4 platform and connect your AI. About a minute.
Also: Claude Code · Cursor · Codex
Then ask your AI: use the seL4 platform 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/sel4-platform/SKILL.md and read by ahel’s review.
You are composing agentOS on-target topology, not a Linux distro.
Invariants
- seL4 is the only kernel-mode code.
- Root task distributes caps, then idles. No policy there.
- PDs in
docs/TCB.mdmay own devices. Museum PDs must not be extended. - QEMU is hardware. Do not passthrough QEMU virtio-mmio into guests.
Forbidden
- Adding
oom_killer, POSIX spawn/vfs, or vibe-swap-as-NIC. - Documenting "rings 1–5".
- Python or another forbidden implementation language anywhere in the repository.
Helper
Run make gate to validate the generated topology and boot it on both
supported QEMU architectures. The topology authority remains generated C and
the documented TCB, with no rendered UI artifact.
Signals
- GitHub stars
- 46
- Forks
- 8
- Last commit
- Oct 2026
Advanced
- Item type
- skill
- Key
sel4-platform- Source
- github.com/jordanhubbard/agentos
github.com/jordanhubbard/agentos