Is there a recording of the talk that -I assume- was given with these slides?
They were in MagicPoint format, so I had to convert them to PDF with a dubious third-party Python script, slightly modifying the MGP manifest in the process. That's probably why the formatting is so iffy.
For those wondering, the systembsd sources are here: https://uglyman.kremlin.cc/gitweb/gitweb.cgi?p=systembsd.git...