Doing Graphics Hardware Acceleration With Microkernels
With GNU Hurd's hardware support lacking, Jamey was talking about GPU drivers on micro-kernels in the context of Genode OS, the experimental research OS framework that's been in development now for a few years.
Genode OS received a Gallium3D driver port years ago and their open-source hardware graphics support continues to be maintained. Genode in general has been a very interesting and exciting project to watch over the years.
Anyhow, if you're interested in learning about graphics hardware acceleration in a micro-kernel world, you can see Jamey's slides here in PDF form. No video recording is available right now.