The first modern Platform for mission critical connected devices.
Secure, update, and manage mission critical devices with the Kry10 Platform.
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.
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.
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.
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.
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.
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.
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.
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