Skip to content
777 Sourcing.

Capability

secure operating system development

Suppliers
1
States & provinces
1
Countries
1

1 secure operating system development supplier across 1 states and provinces in 1 country. Profiles show capabilities, materials, certifications, and facility locations so you can compare shops and build a shortlist.

Suppliers

KRY10 CORPORATION

REDMOND, WA

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.

application isolationErlang BEAM application environmentremote fleet managementsecure upgrades with cryptographic signaturesseL4 microkernel integration

Compiled from public sources

Related capabilities

Other processes offered by the shops that list secure operating system development.

Browse all capabilities