Skip to content

The hardened C11 execution substrate of ICE. It enforces lifecycle, authority, and deterministic state transitions. Non-decisional: it ensures execution is valid, traceable, and governable.

Notifications You must be signed in to change notification settings

francescomaiomascio/ice-kernel

Repository files navigation

ICE-Kernel (Layer 1)

The Hardened C11 Execution Core of the ICE Ecosystem.

ICE-Kernel is the deterministic heart of the ICE environment. It replaces the legacy Python runtime with a high-performance, memory-safe C11 implementation.

Core Architecture

  • Layer 0 (Bootstrap): Authority handoff and Vault allocation.
  • Layer 1 (Kernel): State machine enforcement, UDS Transport, and hardware-aligned execution.
  • Layer 2 (Engine): High-level orchestration (Connected via Unix Domain Sockets).

System Status

  • FSM: Operational (Deterministic State Machine)
  • Vault: Integrated (C11 Shared Headers)
  • Transport: UDS Socket (/tmp/ice_runtime.sock)
  • Language: C11 (GCC/Clang)

Getting Started

make clean && make all
./bin/ice-boot --ws arch_dev_session --raid
./bin/ice-kernel --ws arch_dev_session

Build Targets

  • make boot → build bin/ice-boot
  • make kernel → build bin/ice-kernel
  • make all → build both

Intentional. Inspectable. Deterministic.

About

The hardened C11 execution substrate of ICE. It enforces lifecycle, authority, and deterministic state transitions. Non-decisional: it ensures execution is valid, traceable, and governable.

Topics

Resources

Stars

Watchers

Forks

Releases

No releases published

Sponsor this project

  •  

Packages

No packages published