Trusted boot with the Genode OS Framework

Day 1 | 18:40 | 00:20 | UB4.136 | Alice Domage

Note: I'm reworking this at the moment, some things won't work.

The stream isn't available yet! Check back at 18:40.

Alice will present Gapfruit's design of trusted boot in combination with a microkernel operating system built with the Genode OS framework on an i.MX8MP SoC. This presentation will cover the various building blocks involved, including TPM, u-boot, libraries, and supporting tools. It will also explore how these components integrate within a microkernel environment and the trade-offs we have faced.