A Summer Spent on the Linux Kernel Virtual File System