Kry10 provides a secure operating system built on the formally verified seL4 microkernel, designed for software-defined machines to ensure self-healing and minimal downtime during upgrades. The platform enables the development and management of mission-critical applications with robust isolation and resilience, addressing the need for high-trust environments in connected devices.
Funding
$3.5M raised to dateRaised to date based on public sources. This may differ from the amount the company actually raised and is based only on what is publicly available on the internet.
FVFounders
Product
Problem
Connected devices are vulnerable to attacks and faults, potentially leading to downtime and lateral migration of compromised components. Traditional operating systems lack the security and resilience required for mission-critical applications in software-defined machines. Managing and updating fleets of connected devices securely and efficiently poses a significant challenge.
Solution
Kry10 provides a secure operating system (KOS) and platform built on the formally verified seL4 microkernel, designed for mission-critical connected devices. KOS employs a "Prevent, Contain, and Recover" methodology to minimize downtime and prevent attacks. The platform leverages the Erlang BEAM application environment for resilient connected devices, offering application isolation and resilience without compromising performance. Kry10 Management Service enables remote manageability, providing tools for fleet management, health monitoring, and attack pattern detection.
Target Audience
The primary target audience includes professional deployment managers and developers of mission-critical applications for connected devices.
Features
- Built on the formally verified seL4 microkernel for enhanced security.
- Supports C, Rust, Elixir, and Erlang development languages.
- Integrated with the Erlang BEAM application environment for resilience.
- Kry10 Management Service for remote management, updates, and visibility.
- Scenic UI framework for robust user interfaces with minimal dependencies.
- Cryptographic signatures and trust through isolation for secure upgrades with no downtime.
- Designed for remote manageability with tools to manage fleets, monitor health, and detect attack patterns.