FAQ #3519, published on 2010-06-04, updated on 2019-06-21
How to update the dongle driver (Seven, Windows 10) ?
Simply follow these steps:

1. Goto https://sentinelcustomer.gemalto.com/sentineldownloads/

2. Click on “Sentinel HASP/LDK - Windows GUI Run-time Installer” to download Sentinel_LDK_Run-time_ setup.zip

3. Unzip the file

4. Remove (unplug) all dongles

5. From the just created folder, execute the following command HASPUserSetup.exe (under Seven/Vista you may have to answer YES when asked about permission to perform this task).

6. When the message "Sentinel HASP Run-time has been successfully installed is displayed, plug the dongle again and let Windows detect the dongle.

Remote Desktop/TSE/RDP & Multiple licenses dongle ? If WINDEV, WEBDEV or WINDEV Mobile is
launched remotely through the Windows remote desktop, the key must be of
the network/multi workstation type. A single-user key cannot be used
remotely through the Windows remote desktop (this is authorized by
Teamviewer, VNC...).

In the case of a network key for a multi-user license, apply the recommendations of this FAQ : http://faq.windev.com/edit.awp?id=3067

Windows 8, Windows server 2012 : use the command-line version : Sentinel_LDK_Run-time_cmd_line.zip, instructions are available in the Readme.html.

Windows 10 anniversary update (redstone) : use this update : https://support.microsoft.com/fr-fr/kb/3176938

See also : dongle, install, setup, windev, webdev, hasp, srm