Materials for a talk at "Systems Programming Day" about adding a system call to Linux 3.9