Kry10
A secure operating system for embedded and connected devices, built on seL4.
Kry10 builds a secure operating system for mission-critical connected devices such as vehicles, satellites and medical equipment, using the formally verified seL4 microkernel and the Erlang runtime so teams can write resilient apps in Elixir, C and Rust.
Founded in Wellington in 2020 by Boyd Multerer, a former Microsoft engineer who created Xbox Live, Kry10 works with early customers ahead of general availability and is backed by investors including Movac and In-Q-Tel.
Visit kry10.com Dofollow link · reviewed listing