Build trusted applications
Expected behaviour, every time.
> Self-healing
> No downtime
> Built on seL4
upgrade securely
No downtime rollouts.
> Cryptographic signatures
> Trust through isolation
> Friendly manifest definitions
develop with ease
Streamlined exprience.
> C, Rust, Elixir, Erlang
> Reusable code
> x64, ARM, Risc-V
A secure os for
software-defined machines
Mission critical applications need a better model for development. Get everything you need to tap the full potential of intelligent, software-defined machines:
> Development Tools for the languages that best support security.
> Management services to deploy, manage, and extend applications.
> Secure by default. Built on the most secure foundation.
The Kry10 Operating System(KOS) and Platform is designed from the ground up for mission critical connected devices
Kry10 Platform’s approach can be encapsulated in one simple phrase: Trust but Isolate®. KRY10 leverages the formal verification of the seL4 microkernel to bring you an operating system that is secure, self-healing, and dynamic with minimal downtime, even during upgrades. This approach builds on the concept of zero trust architectures by limiting the code that can run in privileged mode and isolating as many non-core capabilities as possible.
The platform is integrated with the Erlang BEAM application environment for resilient connected devices, delivering the highest level of application isolation and resilience without compromising on performance.
seL4 Microkernel
KRY10 leverages the formal verification of the seL4 microkernel to bring you an operating system that is secure, self-healing, and dynamic with minimal downtime, even during upgrades. seL4 is a high-assurance, high-performance operating system microkernel. It is unique because of its comprehensive formal mathematical verification, without compromising performance.
KRY10 operating system
The Kry10 Operating System (KOS) is a new Operating System that achieves security and resilience with a ground-up approach. Using a Prevent, Contain and Recover methodology, attacks and faults are either prevented from occuring or contained from laterally migrating through the system before the compromised components are recovered.
Application ENVIROMENT
There are two main, first-class environments for applications written for the Kry10 Operating System. The first is direct APIs for drivers or highly performance sensitive applications written in C or Rust. The second, and perhaps main application environment is the Erlang BEAM -the industry proven application framework for building resilient and robust applications. BEAM along with Elixir and other BEAM languages will enable the millions of web developers already familiar with this industry proven model for applications to deliver secure, resilient and manageable applications for connected devices.
kry10 Management Service
The Kry10 Platform was designed for remote manageability. The Kry10 Management Service provides for ease of management, update, total visibility and control. The Kry10 Management services are designed for the professional deployment manager and provideS tools to manage part of or all of a fleet, monitor health, watch for attack patterns, collect data, and more.
SCENIC UI
The Scenic UI framework is built directly on the BEAM and provides a robust UI for devices that need to keep running with minimal dependencies and network independence. Scenic is written as a part of the Kry10 platform, but also works well on Mac, Windows, Linux, Nerves and more.
Connected Devices are deployed in fleets ranging from 1 to millions of units and perform jobs that are more valuable than the devices themselves
The Kry10 Management server is designed for the professional deployment manager and provides tools to manage part of or all of a fleet, monitor health, watch for attack patterns and collect data. The Kry10 Platform was designed with manageability in mind. The Kry10 Management Service provides for ease of management, update and total visibility
You’re In
