Materials for a talk at "System Programming Day" about adding a system call to Linux 3.4