We're unfortunately 8000 km away from Brussels and we missed the microkernel devroom livestream videos. Is there a recorded version of Stefan's lecture on Genode and TrustZone virtualization? The slides from the FOSDEM site only speak so much.

Thanks and regards

Aditya.