The summary on the page itself is a good introduction, and the video of the talk itself is only 10 minutes long. I particularly enjoyed the mentions of GNU Hur

The summary on the page itself is a good introduction, and the video of the talk itself is only 10 minutes long. I particularly enjoyed the mentions of GNU Hurd as a bootstrapping kernel.