Services & commercial licensing

STK is MIT-licensed. For production, regulated and mission-critical products, we offer components and services that shorten time-to-market and de-risk adoption.

Request a quote

Commercial components

Commercial

Full TrustZone interface

Kernel in the Secure binary scheduling both Secure and Non-Secure tasks. CMSE-checked NSC gateways, task and sync-object wrappers, and a drop-in Non-Secure Kernel facade with the familiar STK API. Developed on Cortex-M23/M33/M55/M85 class cores.

Commercial

MCAS and MCAS4 schedulers

Mixed-criticality adaptive scheduling: 2-level (LO/HI) and 4-level, SWRR group scheduling, automatic cascade escalation and recovery, elastic CPU-share adaptation from per-group execution-pressure estimates.

The open-source driver already supports Secure-only TrustZone scheduling and independent Secure / Non-Secure MPU hardening.

Legal & compliance

Warranty of title

IP indemnification and provenance guarantees for corporate legal departments.

Certification support

Assistance toward IEC 61508, IEC 62304, ISO 26262 or DO-178C.

Custom licensing

Enterprise License Agreements for strict open-source procurement policies.

Audit & due diligence

Code audit and licensing assessment.

Engineering & optimization

Architecture porting

Specialized Arm, RISC-V or other architectures and SoCs.

Real-time tuning

Hard real-time optimization, latency profiling, jitter reduction.

Driver & peripheral integration

USB, I2S/TDM audio, networking stacks, DMA engines.

Enterprise support

SLA-backed support

Guaranteed response times and priority escalation.

Architectural consulting

Code reviews, system design and reliability analysis.

Maintenance contracts

Versioned updates, patch management, minor feature requests.

Training

Remote workshops and RTOS best practices for your team.

Let's talk about your product

Tell us your MCU, timing and safety requirements.

contact@supertinykernel.org