Skip to content
#

minimal-kernel

Star

Here is 1 public repository matching this topic...

SemantiCoreOS / semanticore-os

Star 0

Bare-metal deterministic operating system built on Canonical Substrate Engine (CSE). Work in progress.

kernel x86-64 embedded-systems formal-methods operating-systems microkernel bare-metal low-level-programming systems-programming formal-specification resource-constrained-ml systems-architecture minimal-kernel computational-models deterministic-systems deterministic-computing systems-research substrate-logic operating-system-research self-similar-systems
  • Updated Nov 7, 2026

Add this topic to your repo

To associate your repository with the minimal-kernel topic, visit your repo's landing page and select "manage topics."

Learn more