CRITICAL TECHNOLOGIES INC.

Open Source Landing Page

SABLE


Syracuse Assured BootLoader Executive

Trusted bootloader which uses a TPM chip to establish mutual trust

Enabling remote attestation

GENODE ON SEL4 ON ARM


Genode Lab's Genode Operation System Framework

With Data61's seL4 Microkernel

On physical ARM hardware