Secure, update, and manage mission critical devices with the Kry10 Platform.
The ability to automate, manage and mine data from IoT devices and operations can be a core driver of value and differentiation for business. This is especially true for mission critical devices. But customers are challenged by the risk of cyber attacks, concerned about system stability and recovery, and most critically in need of a better model for building, managing and extending applications. Legacy platforms have been one of the limiting factors to success as they rely on operating systems that are vulnerable to attacks and faults.
At Kry10 we’re delivering a modern platform, tools and management services to help businesses realize the full potential of IoT and high value connected devices. The Kry10 platform is built on the most secure foundation while enabling the highest level of resilience and manageability to meet mission critical needs.
Secure
Build applications that are secure by default: KRY10 leverages the formally verified seL4 microkernel to bring you an operating system that is secure, self-healing, and dynamic with minimal downtime, even during upgrades.
Resilient
Recover quickly, heal automatically and immediately restart from exploited or faulty components with downtimes reduced from minutes to milliseconds. Faults or attacks cannot migrate to affect other parts of the system due to isolation between applications and each driver.
Manageable
Architected to enable applications to be simply updated or extended through software policies while maintaining the security standard of the initial deployment. Easy to Maintain and manage, deploy, and update under your control.
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
