Skip to content
777 Sourcing.

Capability

seL4 microkernel integration

Suppliers
1
States & provinces
1
Countries
1

1 sel4 microkernel integration 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 operating system developmentsecure upgrades with cryptographic signatures

Compiled from public sources

Related capabilities

Other processes offered by the shops that list seL4 microkernel integration.

Browse all capabilities