Tools for creating WDK-based games