Syracuse Assured BootLoader Executive
Trusted bootloader which uses a TPM chip to establish mutual trust
Enabling remote attestation
Genode Lab's Genode Operation System Framework
With Data61's seL4 Microkernel
On physical ARM hardware
Click here to download the 2018 seL4 CoE Summit Presentation Slides! Click here to download the 2019 seL4 CoE Summit Presentation Slides!