KOS Technical Specifications
KOS Technical Specifications
What matters most starts underneath
Built on seL4®
Built on seL4®, a formally verified microkernel with proof of functional correctness, KOS gives engineering teams a formally verified foundation with strong isolation guarantees, multi-language application support, and a development workflow designed for modern CI/CD.
We are expanding our supported platforms. If you don't see your preferred platform please speak with your Kry10 contact.
-
Hardware Platforms
-
Compulab IOT-GATE-IMX8PLUS
A highly versatile computer designed for IoT control and monitoring applications
-
QEMU Aarch64
A simulated platform to make development quick
-
NVIDIA Jetson Orin Nano
A compact, entry-level system-on-module (SoM) and developer kit built for edge AI, robotics, and smart vision applications
languages
- C language
- standard libraries, first-class
- Elixir
- runs on BEAM, first-class
- Erlang
- via BEAM
- Rust
- full std via musl, KOS APIs via C FFI
Interfaces
- Native KOS APIs
- freestanding or hosted C
- POSIX subset
- Excluding APIs that violate seL4 isolation guarantees (fork, signals, shared memory).
- Docker / OCI containers
- microVM — Linux sandbox
MULTI-CORE + RTOS
-
Single-core is fully available now
-
Multi-core is available now but still experimental
-
KOS inherits seL4's bounded-exclusion properties
-
RTOS is currently not scheduled, but could be done on demand
For Developers
-
Development Hosts
MacOS (aarch64) and Linux (aarch64, x86_64; RHEL, Ubuntu, and equivalents).
-
CI / CD INTEGRATION
KOS builds and tests in standard pipelines — GitHub Actions, GitLab CI, Jenkins.
-
AI
Works with Cursor, Claude Code, Copilot and equivalents on supported dev hosts.
-
Documentation
Developer documentation (private) available with KOS Studio (SDK) licenses. Public developer documentation repository publication due by year end, 2026.
