A toolset for creating WDK-based games