seL4 platform
SkillSecurityYou are composing agentOS on-target topology, not a Linux distro.
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 seL4 platform 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/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
- 43
- Forks
- 7
- Last commit
- Sep 2026
Advanced
- Item type
- skill
- Key
sel4-platform- Source
- github.com/jordanhubbard/agentos