Digging the link to Drive File System reveals that is not Linux either. Like Dropbox's proposed product, this also seems baffling from a technical perspective. Implementing a user-mode filesystem is the easiest on Linux.