Collection of Genode video URLs

[chelmuth]

Genode and the vision of truly trustworthy computing (recording)

Last week, I had the opportunity to present Genode at the operating-systems group of TU Dresden. The talk and discussion was streamed and recorded. You can download the recording here. Abstract: The talk presents Genode, an open-source operating system created independently from the ground up by a small team in Dresden over the span of 16 years. It started with the vision of a truly trustworthy general-purpose OS that combines a novel architecture with microkernels, capability-based secur…