Operating systems xv6 file system expansion