Patches to the Linux Kernel which provide the FileMonitor functionality