Skip to content
#

microkernel

A kernel is the heart of almost every operating system. It is always loaded in memory at any time and deals with the hardware to provide an interface for the software. It also manages peripherals, memory, interrupts, and processes. Examples of widely used kernels include Windows NT and Linux.

Here are 30 public repositories matching this topic...

Agent-os-open

A self-evolving AI agent OS: Rust microkernel + Python plugin pipeline. Approval gates, evaluation gates, Docker isolation, triggers — agents that run real tasks for days without losing control. 高度可配置、自进化的智能体操作系统,支持插件化管道、多层记忆、热替换和 MCP 协议,Rust 微内核 + Python 插件管道。

  • Updated Oct 8, 2026
  • Python

A capability-secure operating system derived from mathematical first principles — machine-checked noninterference proof in Z3, a full reference implementation, compile-time unforgeable capabilities in Rust, and a kernel that boots on bare metal enforcing its own proven guarantees.

  • Updated Jul 11, 2026
  • Python
Followers
269 followers
Website
github.com/topics/kernel
Wikipedia
Wikipedia