jordanhubbard/agentos

The world's first operating system for agents, not humans. Built on seL4 microkernel with capability-based security and agent-native vibe-coding.

This repository also configures its own agents. See what agentos tells them →

29Stars on the repository
9Mods indexed here, across every type
todayLast push, which is what freshness is scored on
BSD-2-ClauseLicence, which decides whether bodies are shown

compose

01

jordanhubbard/agentos

Skill Claude CodeCodex

Build-time composition of agentOS. Runtime VibeOS CREATE of phantom guests is not composition.

not rated 29 +4 today A SkillSpector: pass 0 tokens original BSD-2-Clause

freebsd-guest

02

jordanhubbard/agentos

Skill Claude CodeCodex

FreeBSD is a virtio client, same ABI as Linux.

not rated 29 +4 today A 0 tokens original BSD-2-Clause

hermes-session

03

jordanhubbard/agentos

Skill Claude CodeCodex

This file is the session context an operator agent (Hermes or any other LLM CLI) loads when attached to agentOS. It is not a UI. It is not a PD.

not rated 29 +4 today A SkillSpector: pass 0 tokens original BSD-2-Clause

linux-guest

04

jordanhubbard/agentos

Skill Claude CodeCodex

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

not rated 29 +4 today A 0 tokens original BSD-2-Clause

sddf-net

05

jordanhubbard/agentos

Skill Claude CodeCodex

Network I/O in agentOS is sDDF-shaped: driver owns the NIC (or QEMU virtio-net as a stand-in), netvirt muxes, clients hold queue caps.

not rated 29 +4 today A SkillSpector: pass 0 tokens original BSD-2-Clause

sel4-platform

06

jordanhubbard/agentos

Skill Claude CodeCodex

You are composing agentOS on-target topology, not a Linux distro.

not rated 29 +4 today A SkillSpector: pass 0 tokens original BSD-2-Clause

virtio-device

07

jordanhubbard/agentos

Skill Claude CodeCodex

The 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.

not rated 29 +4 today A SkillSpector: pass 0 tokens original BSD-2-Clause

At most 3 mods per repository are shown here, and a mod shipped inside a plugin is left to that plugin's page — the rest are on their repository pages: