AgentKernel: The Trust-Native Agentic Operating System
Organizations: DeepKernel Lab
Abstract
Modern AI agents routinely cross trust boundaries: they ingest untrusted content, combine it with privileged instructions, persist intermediate beliefs in long-term memory, and invoke privileged tools. This creates an attack surface in which malicious payloads can enter through model inputs and cause harmful tool actions. Yet current governance stacks remain application-level middleware that share a process trust boundary with the agents they monitor. We argue that agents need an operating-system substrate providing mandatory, non-bypassable services for identity, input mediation, memory governance, and execution control. We introduce AgentKernel, a trust-native agent operating system built around the premise that security must be a first-class design constraint. AgentKernel wraps the agent lifecycle in a mandatory enforcement boundary organized into four pillars: Identity, Perception, Cognition, and Execution. Each pillar adapts classical OS security principles to failures at the semantic plane, including delegation abuse, prompt injection, memory poisoning, and tool misuse. AgentKernel treats structural security as a capability multiplier. Kernel-managed identity supports trustworthy cross-organization collaboration; graduated perception replaces brittle single-point filters; information-flow-controlled memory improves retrieval fidelity while limiting poisoning; and semantic-to-kernel enforcement permits broader tool privileges behind a non-bypassable boundary. We position AgentKernel as the missing OS layer beneath orchestration frameworks, agent runtimes, governance platforms, and execution sandboxes, and use systematic comparison and security analysis to show how a single integrated architecture can enforce security across the full agent lifecycle.
Figures & tables
| Dimension | Security Consequence | Capability Consequence |
|---|---|---|
| Identity | Impersonation and unauthorized multi-hop delegation without binding principals to code and authorization | Verifiable delegation chains across organizations stall; operators fall back on pairwise trust or manual approval gates |
| Unverifiable third-party skills/plugins enabling supply-chain capability injection | Version freezes and strict whitelists block safe participation in open third-party capability ecosystems | |
| Perception | Prompt injection via tools, web pages, and files; untrusted content co-mingled with privileged instructions | Browser- and repository-backed toolchains are avoided or over-stripped, narrowing tasks an agent can safely cover |
| Encoding bypasses, jailbreaks, and spoofed UI or sensor readings that misstate device or application state | Multimodal and high-entropy pipelines require human checkpoints, capping throughput and end-to-end autonomy | |
| Cognition | Cross-session memory poisoning; instruction–data confusion in long, multi-source context windows | Cross-session RAG and long-horizon memory cannot scale without per-entry provenance or costly write-side audits |
| Cross-tenant memory contamination; weak edge-side summarisation or routing exploited as a chain weak link | Shared memory pools across agents or business units are blocked; teams revert to siloed stores and manual reconciliation |
| Pillar | Invariant | Soundness Argument |
| Identity | I1. AIC unforgeability | Ed25519 signatures verified against GAR root at every presentation; never leaves kernel boundary (§ 4.2 ). |
| I2. Delegation monotonicity: | Kernel verifies subset relation before issuing child AIC; child validity is capped to parent’s remaining lifetime. | |
| I3. Action non-repudiation | All execution traces kernel-signed by ; signing is kernel-mediated, never performed by agent code. | |
| I4. Session anti-replay | Fresh nonces with TTL per session; context-bound tokens; lifecycle ephemerality (§ 4.2 ). | |
| Perception | P1. Provenance completeness: all content entering LLM context carries origin tags | All input paths traverse P1 (Source Tagger) as mandatory first stage; tags persist through P2–P4. |
| P2. Layered independence: bypassing one filter does not help bypass others | P1–P4 operate on orthogonal features (source identity, syntactic patterns, semantic intent, multi-turn history). |
| Dimension | AgentKernel | AGT [ 26 ] | AIOS [ 22 ] | OpenFang [ 23 ] | SmythOS [ 24 ] | Letta [ 25 ] | nono [ 29 ] |
|---|---|---|---|---|---|---|---|
| Pillar 1: Identity (§ 4.2 ) | |||||||
| Cryptographic workload identity | — | — | — | ||||
| Multi-dimensional provenance | — | — | — | — | — | — | |
| Cross-org A2A attestation | — | — | — | — | — | ||
| Pillar 2: Perception (§ 4.3 ) | |||||||
| Input provenance tagging | — | — | — | — | — | ||
| System | Deployment | Primary focus | Security |
|---|---|---|---|
| AIOS | HTTP server + in-proc agents | LLM scheduling | No auth; stub ACL |
| OpenFang | Daemon / in-proc kernel | Skill/Plugin sandbox | Mandatory for hosted; opt-in for external |
| SmythOS | In-proc library (npm) | Unified resources | ACL + SES sandbox |
| Letta | Standalone server | Memory management | Optional sandbox |
| AgentKernel | Form-agnostic | Security kernel | Mandatory, non-bypassable |
AI Agent Security
Artificial intelligence agent security studies attacks and safeguards for tool-using, persistent, and collaborative systems across digital and physical settings.
See all 517 papers