Setting up a Windows machine for drivers and minifilters, testing and debugging using VirtualKD-Redux