fsgeek/winskel

A skeleton file systems driver for Windows

C++NOASSERTION