A file system driver for the linux kernel