watched "Experiences in a decade of maintaining and extending the seL4 proofs" by June Andronick https://www.youtube.com/watch?v=uLCqJLFP7f8 (~ 1h)