What the "VMProtectDDK32(64).sys" works for ?

In the VMProtect installation directory “..\VMProtect Ultimate\Lib\Windows”, I can see a file named “VMProtectDDK32(64).sys”.

I know the “VMProtectDDK32(64).lib” is works for building driver, but what does the “VMProtectDDK32(64).sys” do ?

For testing your unprotected driver that uses VMProtectDDK32(64).sys