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
ENABLING INNOVATION
IN HIGH-TRUST SYSTEMS
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.
GET STARTED WITH KRY10
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.
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