What Kry10 does

Kry10 Unlimited, Inc. is a New Zealand-headquartered (Wellington) private software company building the Kry10 Operating System (KOS), a secure operating system purpose-built for mission-critical connected devices in automotive, industrial, and communications sectors. The platform is constructed on the formally verified seL4 microkernel — the highest-assurance open-source kernel — and integrates the Erlang BEAM application environment to combine mathematical verification with fault-tolerant application execution. Kry10 applies a "Trust but Isolate" design philosophy that limits privileged-mode code and isolates non-core capabilities, supported by a Prevent, Contain, and Recover security methodology with cryptographic manifest signing (ed25519), persistent boot, and zero-downtime OTA upgrades.

The Kry10 Platform extends the OS with Studio Server (development lifecycle tooling), Fleet Server (production fleet management, health monitoring, attack-pattern detection), MicroVMs (lightweight virtualization with Linux guest support), and the Scenic UI framework. Development is supported across C, Rust, Elixir, and Erlang, targeting x64, ARM, and RISC-V architectures with board support packages for i.MX8MM, RPI4, and Arduino Portenta X8. Integration touchpoints include MQTT and Nerves for IoT data and embedded Elixir.

Kry10 is pre-general-availability, with a contact-based beta program and no public pricing. Revenue mechanics, when commercialization begins, are expected to combine platform/OS licensing (likely per-device OEM royalties) with subscription recurring revenue for the Fleet Server. The go-to-market is enterprise field sales targeting large OEMs in automotive (a named large German automotive player), industrial systems, and communications. Funding to date totals approximately NZ$6 million across seed (Movac, 2022) and Pre-Series A (Folklore-led, Jan 2024) rounds; strategic backers include CyManII/U.S. Department of Energy for manufacturing cybersecurity and an intelligence-agency-backed fund. The company has 11-50 employees and is led by CEO/CTO Boyd Multerer (former Xbox Live founder) and VP Engineering Kent McLeod (former seL4 technical lead at CSIRO Data61).

Name

Kry10

Legal name

Kry10 Unlimited, Inc.

Website

https://kry10.com

Company type

Private

Founded year

2022

Operating status

Operating

Headcount range

11–50 employees

Short description

Kry10 Unlimited builds KOS, a formally verified secure operating system for mission-critical connected devices, targeting OEMs in automotive, industrial, and communications sectors with embedded licensing and fleet management subscriptions.

Ownership category

akta.pro rank

Product category

Embedded / IoT Operating Systems

NAICS

Computer Systems Design and Related Services (54151), Computer Systems Design Services (541512), Custom Computer Programming Services (541511)

SIC

Services-Computer Integrated Systems Design (7373), Services-Computer Programming, Data Processing, Etc. (7370)

akta.pro primary industry

Secure Access Service Edge (SASE) & SSE (HDADABAB)

Keywords

• Secure operating system
• Embedded IoT software
• Formally verified microkernel
• Connected device security
• Fleet management platform

Headquarters

HQ city

Seattle

HQ country

United States

HQ region

North America

Offices1 record

Markets served

GTM type

B2B

Offering type

Software

Cost components

Technology or R&D, Personnel, Marketing or Sales, Infrastructure, Operations

Revenue model

1. Operating System and Platform Licensing: KOS is provided as a platform for mission-critical connected devices. The company appears to be transitioning toward general availability with evaluation licenses available. Revenue is derived from platform licensing, potentially in an OEM/embedded capacity targeting device manufacturers in automotive, industrial, and communications sectors.
2. Management Services / Fleet Server: Cloud-hosted Fleet Server (beta) and self-hosted fleet management server providing tools to manage device fleets, monitor health, and deploy OTA updates. Likely a subscription or SaaS component.

Go-to-market motion2 records

Distribution channels4 records

Marketing channels6 records

Core offering

Kry10 builds and sells the Kry10 Operating System (KOS), a ground-up secure operating system designed for mission-critical connected devices, built on the formally verified seL4 microkernel and integrated with the Erlang BEAM application environment. The Kry10 Platform bundles KOS with a Management Service (Studio Server and Fleet Server), the Scenic UI framework, and an SDK supporting C, Rust, Elixir, and Erlang across x64, ARM, and RISC-V architectures, targeting device manufacturers in automotive, industrial, and communications sectors.

Product overview

Kry10 offers a unified platform centered on the Kry10 Operating System (KOS) and Kry10 Platform. KOS is a secure, mission-critical OS built on the formally verified seL4 microkernel, designed for IoT and industrial connected devices. The platform architecture includes KOS as the core operating system, the Kry10 Management Service (Fleet Server and Studio Server) for device management and development, the Scenic UI framework for robust device interfaces, and the KOS SDK with development tools supporting C, Rust, Elixir, and Erlang/BEAM application environments. The platform leverages the Erlang BEAM VM for resilient application development, implements a Trust but Isolate® philosophy for security, and provides cryptographic signatures and trust through isolation for secure over-the-air updates.

Differentiator

Problem solved

Functional benefit

Brands

• KOS (Kry10 Operating System): A new secure operating system designed from the ground up for mission-critical connected devices, built on seL4 microkernel with a Prevent, Contain and Recover methodology.
• Kry10 Platform
• Kry10 Servers
• Scenic

Products and services

• Kry10 Operating System (KOS) A secure operating system designed from the ground up for mission-critical connected devices. Built on the formally verified seL4 microkernel, KOS implements a Prevent, Contain, and Recover methodology for security and resilience with minimal downtime during upgrades, targeting device manufacturers in automotive, industrial, and communications sectors.
• Kry10 Platform

Quantifiable outcome

• Self-healing OS with no downtime — attacks and faults are prevented or contained from laterally migrating, with compromised components recovered automatically
• +2 more outcomes

Named customers3 records

Segments3 records

Ideal customer profiles4 records

Technology focussed Yes

API detail

Has API

No

API docs

API detail

Core technology

AI maturity

App detail

Integration2 records

Feature10 records

Partnerships

Five partnerships are on record, tiered core and minor.

• CyManII (Cybersecurity Manufacturing Innovation Institute)coreStrategic or Co-development Partner · 1 February 2024Kry10 Corporation is partnering with CyManII (funded by U.S. Department of Energy) to create a formally verified reference architecture based on the Kry10 embedded microkernel platform. This is one of 10 projects selected for a combined $4.8 million R&D funding to bolster U.S. manufacturing cybersecurity. Kry10 is creating a near-minimum software foundation that provides secure-by-design mechanisms for ICS implementation across multiple industries.
• seL4 FoundationcoreTechnology or IntegrationKry10 is a member of the seL4 Foundation and leverages the formally verified seL4 microkernel as the foundation of its operating system. seL4 is open source and community-supported under the seL4 Foundation.
• Erlang SolutionscoreTechnology or IntegrationFrancesco Cesarini, Founder and Technical Director at Erlang Solutions (world leaders in Erlang-based consulting, contracting, and training), serves as an advisor to Kry10. His expertise in BEAM/Erlang systems directly informs Kry10's integration of the BEAM environment.
• Marc WhittenminorOthersMarc Whitten, SVP and GM at Unity Technologies (former VP at Amazon Devices, Chief Product Officer of Xbox, CPO at Sonos), serves as an advisor to Kry10. His background in entertainment devices and platform development provides strategic guidance.
• Francesco CesariniminorOthersFrancesco Cesarini, founder of Erlang Solutions and co-author of O'Reilly Erlang programming books, serves as an advisor to Kry10. He brings deep expertise in BEAM/Erlang systems and real-time, fault-tolerant software architecture.

Scale indicators4 records

Recent moves6 records

Expansion highlights6 records

Direct peers

• BlackBerry QNX: BlackBerry QNX provides a safety-certified, secure real-time operating system widely used in automotive infotainment, ADAS, and industrial embedded systems. It competes head-to-head with Kry10 in the secure embedded OS layer for connected and software-defined vehicles.
• Green Hills Software: Green Hills Software's INTEGRITY RTOS and safety/security-certified platforms target automotive, aerospace, industrial, and medical embedded systems. It is a direct competitor to Kry10 for high-assurance, secure OS in mission-critical connected devices.
• Wind River Systems: Wind River's VxWorks RTOS and Wind River Linux serve aerospace, automotive, industrial, and networking customers requiring safety- and security-critical embedded platforms. It directly competes with Kry10's positioning for resilient, secure IoT and connected-device OS.
• Lynx Software Technologies: Lynx offers LynxOS and the LYNX MOSA.ic framework for safety- and security-critical embedded systems across aerospace, defense, automotive, and industrial markets. It is a direct peer to Kry10 in the secure embedded/IoT OS category.
• SYSGO: SYSGO's PikeOS is a safety- and security-certified RTOS/hypervisor for automotive, railway, avionics, and industrial IoT. It competes with Kry10 in providing a formally grounded, high-assurance OS foundation for connected critical systems.
• Enea: Enea provides real-time operating systems (OSE/Enea Linux) and embedded virtualization for telecom, aerospace, and industrial customers. It is comparable to Kry10 as a secure embedded OS vendor for mission-critical connected devices.

Emerging players

• Foundries.io: Foundries.io offers a secure Linux platform and DevOps toolchain for connected IoT and edge devices, with continuous OTA updates and hardened build pipelines. It is an emerging alternative to Kry10 for OEMs seeking secure device OS without building from a microkernel.
• Real-Time Innovations (RTI): RTI provides Connext DDS, a real-time connectivity framework for industrial IoT, medical, and autonomous systems. It is an adjacent peer in the mission-critical connected-device software stack where Kry10 also competes.

Broad incumbents

• Red Hat (Edge and Embedded): Red Hat provides enterprise Linux distributions (RHEL, RHEL for Edge) and management tooling used across industrial and edge deployments. It is a broad incumbent alternative to Kry10 for organizations evaluating hardened Linux-based secure device platforms.
• Microsoft Azure Sphere: Azure Sphere is Microsoft's end-to-end IoT security platform combining a custom Linux-based OS, certified chips, and a security service. It is a broad incumbent in IoT/connected-device security that overlaps with Kry10's secure-OS-for-IoT value proposition.

Market position

Strengths5 records

Weaknesses5 records

Competitive moat5 records

Key risks6 records

Key highlights7 records

Customer concentration

• Xx.com/kry10_limited
• LinkedInlinkedin.com/company/kry10

Revenue estimate

Valuation estimate

Number of profiles

Profiles7 records

Funding overview

Funding rounds3 records

Investors7 records

Funding detail is available on the Subscription and Enterprise plan.Contact sales →

M&A

Investments

M&A and investment is available on the Subscription and Enterprise plan.Contact sales →

Frequently asked questions about Kry10