What's new in the Linux kernel (and what's missing in Debian) 11 August 2013 Slides from my talk earlier today