Kry10 Secure Platform

Secure, Robust, Fast, Easy

The Kry10 Secure Platform (KSP) is a breakthrough Operating System and Support Service built on the world-class seL4®, Erlang, and Elixir technologies.

Learn More


Self-healing GUI for IoT and Desktop

Scenic is a GUI framework that is robust against errors and uses minimal resources. It's main design point is IoT style devices and also works well on Desktop computers, creating a true cross-platform UI standard.

There are many examples of Scenic being used in the wild.

Get Started Documentation Github


The Kry10 team has deep technical, business, and policy experience. Together we are dedicated to ensuring that all new connected devices in the world are secure, robust, work reliably with speed and are assured. We are growing and expanding our technical capacity in the both the OS and data-center side. If you care about these things as much as the Kry10 team does - then you have definitely visited the right place.

Meet the Team