Suppose an xv6-like operating system copies 16 bytes from a keyboard into a kernel-managed buffer in its interrupt handlers. Then, sometime later, a process attempts to retrieve this data with a read system call: read(fd, application_buffer, 16) where fd corresponds to the device file for the keyboard and application_buffer is the address of a buffer in the process's memory. One would expect .