Cohesix 0.4.0-alpha released

Cohesix is an open-source control-plane OS designed for GPU Hive Management and MLOps, built on seL4 for aarch64.

Cohesix 0.4.0-alpha released:

  • Authoritative scheduling/lease/export/policy control grammar with /proc observability for queue/lease state.
  • Host-side REST gateway (hive-gateway) projecting the console/file semantics over HTTP.
  • Test plan and demo runbooks updated for policy-gated approvals and deterministic selftests.
  • Documentation refresh for Quickstart and operator workflows aligned to the as-built system.

Questions/feedback please email cohesix.os@gmail.com

Version 0.6.0-alpha released, with pseudo-SMP support GitHub - lukeb-aidev/cohesix: Cohesix is an open-source high-assurance control-plane operating system built on the formally verified seL4 microkernel, designed to keep the trusted computing base intentionally small while enabling deterministic orchestration of edge GPU systems and auditable MLOps. Cohesix is "infrastructure for AGI".