The fosdem page about the talk is there [1]. I can not find the video recording on the corresponding room page [2]. I hope it has been recorded and will be added, I'm really interested to listen and watch the talk.
[1] https://fosdem.org/2019/schedule/event/microkernel_written_i...