A minimal filesystem driver for Linux