21708 NE 84TH ST, REDMOND, WA 98053-2201, US
REDMOND, WA, US
Kry10 Corporation
From the company
Kry10 develops the Kry10 Operating System (KOS) and Platform, a secure operating system for mission critical connected devices and software-defined machines. Built on the formally verified seL4 microkernel, it uses a 'Trust but Isolate' approach with a Prevent, Contain and Recover methodology, and integrates the Erlang BEAM application environment. The Kry10 Management Service provides tools to deploy, manage, update and monitor device fleets.
Capabilities
Products & services
Where they operate
Location & facilities
Direct lines
Contact
Share quantities, requirements, and timing.
Send requirementsCompany record
Profile information
- Founded
- 2022
- Website
- kry10.com
Source: company website
Start a conversation
Send your requirements
Quantities, certifications, delivery timing, and anything else needed to quote the work.