Kry10
3 known investors
Kry10 provides an operating system (KOS) and platform built on the formally verified seL4 microkernel for developing, deploying, and managing mission-critical connected devices. It offers development tools (supporting C, Rust, Elixir, and Erlang) and fleet management services aimed at security, self-healing, and no-downtime upgrades for high-trust systems.
Founders & leadership
JF
Jason FoxinFounder
Investors · 3
Frequently asked questions
- What does Kry10 do?
- Kry10 provides an operating system (KOS) and platform built on the formally verified seL4 microkernel for developing, deploying, and managing mission-critical connected devices. It offers development tools (supporting C, Rust, Elixir, and Erlang) and fleet management services aimed at security, self-healing, and no-downtime upgrades for high-trust systems.
- Who founded Kry10?
- Kry10 was founded by Jason Fox.
- Who are Kry10's investors?
- Kry10's investors include Folklore Ventures, Nuance Capital, NZ Growth Capital Partners.